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.nt
. . . . "B\u00E9atrice B\u00E9rard et al.: When are Timed Automata weakly timed bisimilar to Time Petri Nets? (2008)" . . _:ID_0e0046c7ee77575420a8c69bd26d9d93 . _:ID_0e0046c7ee77575420a8c69bd26d9d93 . _:ID_0e0046c7ee77575420a8c69bd26d9d93 . _:ID_0e0046c7ee77575420a8c69bd26d9d93 . _:ID_0e0046c7ee77575420a8c69bd26d9d93 "journals/tcs/BerardCHLR08" . _:ID_15ad6631638e161782301f79a2f29a75 . _:ID_15ad6631638e161782301f79a2f29a75 . _:ID_15ad6631638e161782301f79a2f29a75 . _:ID_15ad6631638e161782301f79a2f29a75 . _:ID_15ad6631638e161782301f79a2f29a75 "10.1016/J.TCS.2008.03.030" . "When are Timed Automata weakly timed bisimilar to Time Petri Nets?" . . . . . . . . . . . . "5"^^ . _:Sig_c08df229d489c910d33671fdb8800f4f_1 . _:Sig_c08df229d489c910d33671fdb8800f4f_1 . _:Sig_c08df229d489c910d33671fdb8800f4f_1 . _:Sig_c08df229d489c910d33671fdb8800f4f_1 "B\u00E9atrice B\u00E9rard" . _:Sig_c08df229d489c910d33671fdb8800f4f_1 . _:Sig_c08df229d489c910d33671fdb8800f4f_1 "1"^^ . _:Sig_c08df229d489c910d33671fdb8800f4f_1 . _:Sig_c08df229d489c910d33671fdb8800f4f_2 . _:Sig_c08df229d489c910d33671fdb8800f4f_2 . _:Sig_c08df229d489c910d33671fdb8800f4f_2 . _:Sig_c08df229d489c910d33671fdb8800f4f_2 "Franck Cassez" . _:Sig_c08df229d489c910d33671fdb8800f4f_2 . _:Sig_c08df229d489c910d33671fdb8800f4f_2 . _:Sig_c08df229d489c910d33671fdb8800f4f_2 "2"^^ . _:Sig_c08df229d489c910d33671fdb8800f4f_2 . _:Sig_c08df229d489c910d33671fdb8800f4f_3 . _:Sig_c08df229d489c910d33671fdb8800f4f_3 . _:Sig_c08df229d489c910d33671fdb8800f4f_3 . _:Sig_c08df229d489c910d33671fdb8800f4f_3 "Serge Haddad" . _:Sig_c08df229d489c910d33671fdb8800f4f_3 . _:Sig_c08df229d489c910d33671fdb8800f4f_3 "3"^^ . _:Sig_c08df229d489c910d33671fdb8800f4f_3 . _:Sig_c08df229d489c910d33671fdb8800f4f_4 . _:Sig_c08df229d489c910d33671fdb8800f4f_4 . _:Sig_c08df229d489c910d33671fdb8800f4f_4 . _:Sig_c08df229d489c910d33671fdb8800f4f_4 "Didier Lime" . _:Sig_c08df229d489c910d33671fdb8800f4f_4 . _:Sig_c08df229d489c910d33671fdb8800f4f_4 . _:Sig_c08df229d489c910d33671fdb8800f4f_4 "4"^^ . _:Sig_c08df229d489c910d33671fdb8800f4f_4 . _:Sig_c08df229d489c910d33671fdb8800f4f_5 . _:Sig_c08df229d489c910d33671fdb8800f4f_5 . _:Sig_c08df229d489c910d33671fdb8800f4f_5 . _:Sig_c08df229d489c910d33671fdb8800f4f_5 "Olivier H. Roux" . _:Sig_c08df229d489c910d33671fdb8800f4f_5 . _:Sig_c08df229d489c910d33671fdb8800f4f_5 "5"^^ . _:Sig_c08df229d489c910d33671fdb8800f4f_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" .