%0 Conference Paper %1 conf/acsd/BouyerRH06 %A Bouyer, Patricia %A Reynier, Pierre-Alain %A Haddad, Serge %B ACSD %D 2006 %I IEEE Computer Society %K dblp %P 91-100 %T Extended Timed Automata and Time Petri Nets. %U http://dblp.uni-trier.de/db/conf/acsd/acsd2006.html#BouyerRH06 %@ 0-7695-2556-3

@inproceedings{conf/acsd/BouyerRH06, added-at = {2023-03-24T00:00:00.000+0100}, author = {Bouyer, Patricia and Reynier, Pierre-Alain and Haddad, Serge}, biburl = {https://www.bibsonomy.org/bibtex/29877583275b3a1440deb8adba507b6c5/dblp}, booktitle = {ACSD}, crossref = {conf/acsd/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2006.6}, interhash = {77a7a68498a9ffe890d6b4dfe5ef513e}, intrahash = {9877583275b3a1440deb8adba507b6c5}, isbn = {0-7695-2556-3}, keywords = {dblp}, pages = {91-100}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:59:20.000+0200}, title = {Extended Timed Automata and Time Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/acsd/acsd2006.html#BouyerRH06}, year = 2006 }