Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier. Timed Petri nets and timed automata: On the discriminating power of zeno sequences. Inf. Comput., 206(1):73-107, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.