Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/fsttcs/BerardCHLR05
AU - Bérard, Béatrice
AU - Cassez, Franck
AU - Haddad, Serge
AU - Lime, Didier
AU - Roux, Olivier H.
TI - When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?
BT - FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
SP - 273
EP - 284
PY - 2005//
DO - 10.1007/11590156_22
UR - https://doi.org/10.1007/11590156_22
ER -
