%0 Journal Article %1 journals/iandc/BouyerHR08 %A Bouyer, Patricia %A Haddad, Serge %A Reynier, Pierre-Alain %D 2008 %J Inf. Comput. %K dblp %N 1 %P 73-107 %T Timed Petri nets and timed automata: On the discriminating power of zeno sequences. %U http://dblp.uni-trier.de/db/journals/iandc/iandc206.html#BouyerHR08 %V 206

@article{journals/iandc/BouyerHR08, added-at = {2021-02-12T00:00:00.000+0100}, author = {Bouyer, Patricia and Haddad, Serge and Reynier, Pierre-Alain}, biburl = {https://www.bibsonomy.org/bibtex/22082633c86ee9346ef47eee0db78cb7e/dblp}, ee = {https://doi.org/10.1016/j.ic.2007.10.004}, interhash = {3205fbb17c015de7b9d745f098c9a7cf}, intrahash = {2082633c86ee9346ef47eee0db78cb7e}, journal = {Inf. Comput.}, keywords = {dblp}, number = 1, pages = {73-107}, timestamp = {2024-04-09T06:09:32.000+0200}, title = {Timed Petri nets and timed automata: On the discriminating power of zeno sequences.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc206.html#BouyerHR08}, volume = 206, year = 2008 }