iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/tcs/BerardCHLR08.rdf
Béatrice Bérard et al.: When are Timed Automata weakly timed bisimilar to Time Petri Nets? (2008) journals/tcs/BerardCHLR08 10.1016/J.TCS.2008.03.030 When are Timed Automata weakly timed bisimilar to Time Petri Nets? 5 Béatrice Bérard 1 Franck Cassez 2 Serge Haddad 3 Didier Lime 4 Olivier H. Roux 5 202-220 Theor. Comput. Sci. Theor. Comput. Sci. 403 2-3 2008 provenance information for RDF data of dblp record 'journals/tcs/BerardCHLR08' 2021-02-17T22:01:39+0100