%0 Conference Paper %1 conf/mtv/MorbeS12 %A Morbé, Georges %A Scholl, Christoph %B MTV %D 2012 %I IEEE Computer Society %K %P 35-40 %T Guaranteeing Termination of Fully Symbolic Timed Forward Model Checking. %U http://dblp.uni-trier.de/db/conf/mtv/mtv2012.html#MorbeS12 %@ 978-1-4673-4441-8

@inproceedings{conf/mtv/MorbeS12, added-at = {2023-12-13T09:09:09.000+0100}, author = {Morbé, Georges and Scholl, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2c19057487bb4d14352d732423ef65719/admin}, booktitle = {MTV}, crossref = {conf/mtv/2012}, ee = {http://doi.ieeecomputersociety.org/10.1109/MTV.2012.22}, interhash = {cb972a02854b5caa3910e7daa0a2be32}, intrahash = {c19057487bb4d14352d732423ef65719}, isbn = {978-1-4673-4441-8}, keywords = {}, pages = {35-40}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T09:09:09.000+0100}, title = {Guaranteeing Termination of Fully Symbolic Timed Forward Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/mtv/mtv2012.html#MorbeS12}, year = 2012 }