@inproceedings{ICALP-v2-2006-BouyerHR,
author = "Patricia Bouyer and Serge Haddad and Pierre-Alain Reynier",
booktitle = "{Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, Part II}",
doi = "10.1007/11787006_36",
isbn = "3-540-35907-9",
pages = "420--431",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences}",
volume = 4052,
year = 2006,
}
Tags: