%0 Conference Paper %1 conf/mbmv/MillerSB11 %A Miller, Christian %A Scholl, Christoph %A Becker, Bernd %B MBMV %D 2011 %E Oppenheimer, Frank %I OFFIS-Institut für Informatik %K dblp %P 113-122 %T Verifying Incomplete Networks of Timed Automata. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2011.html#MillerSB11

@inproceedings{conf/mbmv/MillerSB11, added-at = {2012-06-27T00:00:00.000+0200}, author = {Miller, Christian and Scholl, Christoph and Becker, Bernd}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23fbd117afbd4c041a5b9330f5bc91fc5/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2011}, editor = {Oppenheimer, Frank}, interhash = {0bee5773388fbb4615e967303daa093e}, intrahash = {3fbd117afbd4c041a5b9330f5bc91fc5}, keywords = {dblp}, pages = {113-122}, publisher = {OFFIS-Institut für Informatik}, timestamp = {2016-02-02T14:12:45.000+0100}, title = {Verifying Incomplete Networks of Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2011.html#MillerSB11}, year = 2011 }