%0 Conference Paper %1 conf/tacas/DAprileDSS07 %A D'Aprile, Davide %A Donatelli, Susanna %A Sangnier, Arnaud %A Sproston, Jeremy %B TACAS %D 2007 %E Grumberg, Orna %E Huth, Michael %I Springer %K dblp %P 216-230 %T From Time Petri Nets to Timed Automata: An Untimed Approach. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2007.html#DAprileDSS07 %V 4424 %@ 978-3-540-71208-4

@inproceedings{conf/tacas/DAprileDSS07, added-at = {2021-10-14T00:00:00.000+0200}, author = {D'Aprile, Davide and Donatelli, Susanna and Sangnier, Arnaud and Sproston, Jeremy}, biburl = {https://www.bibsonomy.org/bibtex/2b65740e73b37c86fff1becb4de57970c/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2007}, editor = {Grumberg, Orna and Huth, Michael}, ee = {https://doi.org/10.1007/978-3-540-71209-1_18}, interhash = {f211bd2384a91d1c4d7f0f522828a337}, intrahash = {b65740e73b37c86fff1becb4de57970c}, isbn = {978-3-540-71208-4}, keywords = {dblp}, pages = {216-230}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:22.000+0200}, title = {From Time Petri Nets to Timed Automata: An Untimed Approach.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2007.html#DAprileDSS07}, volume = 4424, year = 2007 }