%0 Conference Paper %1 conf/mtv/MillerGSB10 %A Miller, Christian %A Gitina, Karina %A Scholl, Christoph %A Becker, Bernd %B MTV %D 2010 %E Abadir, Magdy S. %E Bhadra, Jay %E Wang, Li-C. %I IEEE Computer Society %K %P 61-66 %T Bounded Model Checking of Incomplete Networks of Timed Automata. %U http://dblp.uni-trier.de/db/conf/mtv/mtv2010.html#MillerGSB10 %@ 978-0-7695-4354-3

@inproceedings{conf/mtv/MillerGSB10, added-at = {2023-12-13T04:25:15.000+0100}, author = {Miller, Christian and Gitina, Karina and Scholl, Christoph and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/228390b7385e0fe3c9e8f1fae9c6f3fb9/admin}, booktitle = {MTV}, crossref = {conf/mtv/2010}, editor = {Abadir, Magdy S. and Bhadra, Jay and Wang, Li-C.}, ee = {http://doi.ieeecomputersociety.org/10.1109/MTV.2010.19}, interhash = {959cbf55007e4d38f03a953b889a166a}, intrahash = {28390b7385e0fe3c9e8f1fae9c6f3fb9}, isbn = {978-0-7695-4354-3}, keywords = {}, pages = {61-66}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T04:25:15.000+0100}, title = {Bounded Model Checking of Incomplete Networks of Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/mtv/mtv2010.html#MillerGSB10}, year = 2010 }