iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.dagstuhl.de/rec/data/10/BrandBL22.rdf
Sebastiaan Brand et al.: FM 2023 Artefact for "A Decision Diagram Operation for Reachability". (2022) data/10/BrandBL22 10.5281/ZENODO.7333633 FM 2023 Artefact for "A Decision Diagram Operation for Reachability". 3 Sebastiaan Brand 1 Thomas Bäck 2 Alfons Laarman 3 2022 --11 Zenodo provenance information for RDF data of dblp record 'data/10/BrandBL22' 2024-06-18T10:46:44+0200