%0 Conference Paper %1 conf/concur/LaroussinieMS04 %A Laroussinie, François %A Markey, Nicolas %A Schnoebelen, Philippe %B CONCUR %D 2004 %E Gardner, Philippa %E Yoshida, Nobuko %I Springer %K dblp %P 387-401 %T Model Checking Timed Automata with One or Two Clocks. %U http://dblp.uni-trier.de/db/conf/concur/concur2004.html#LaroussinieMS04 %V 3170 %@ 3-540-22940-X

@inproceedings{conf/concur/LaroussinieMS04, added-at = {2017-05-23T00:00:00.000+0200}, author = {Laroussinie, François and Markey, Nicolas and Schnoebelen, Philippe}, biburl = {https://www.bibsonomy.org/bibtex/2eb451e61ee30927d919858a1db78a13a/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2004}, editor = {Gardner, Philippa and Yoshida, Nobuko}, ee = {https://doi.org/10.1007/978-3-540-28644-8_25}, interhash = {818564ef6907dd5a288c7ef2ca5faf7d}, intrahash = {eb451e61ee30927d919858a1db78a13a}, isbn = {3-540-22940-X}, keywords = {dblp}, pages = {387-401}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:57:55.000+0200}, title = {Model Checking Timed Automata with One or Two Clocks.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2004.html#LaroussinieMS04}, volume = 3170, year = 2004 }