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/conf/formats/BenattarCLR09.nt
. . . . "Gilles Benattar et al.: Synthesis of Non-Interferent Timed Systems. (2009)" . . _:ID_3c84b1f544ad090e53d00b10a487528f . _:ID_3c84b1f544ad090e53d00b10a487528f . _:ID_3c84b1f544ad090e53d00b10a487528f . _:ID_3c84b1f544ad090e53d00b10a487528f . _:ID_3c84b1f544ad090e53d00b10a487528f "conf/formats/BenattarCLR09" . _:ID_3f88e1ffd408fb0b07ecab144809b917 . _:ID_3f88e1ffd408fb0b07ecab144809b917 . _:ID_3f88e1ffd408fb0b07ecab144809b917 . _:ID_3f88e1ffd408fb0b07ecab144809b917 . _:ID_3f88e1ffd408fb0b07ecab144809b917 "10.1007/978-3-642-04368-0_5" . "Synthesis of Non-Interferent Timed Systems." . . . . . . . . . . "4"^^ . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_1 . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_1 . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_1 . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_1 "Gilles Benattar" . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_1 . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_1 "1"^^ . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_1 . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_2 . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_2 . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_2 . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_2 "Franck Cassez" . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_2 . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_2 "2"^^ . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_2 . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_3 . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_3 . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_3 . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_3 "Didier Lime" . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_3 . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_3 "3"^^ . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_3 . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_4 . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_4 . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_4 . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_4 "Olivier H. Roux" . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_4 . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_4 "4"^^ . _:Sig_d8c3c51f54f30652f00f1e3ab4cd4fd3_4 . . . . . "28-42" . "FORMATS" . "FORMATS" . "2009"^^ . "2009"^^ . . "provenance information for RDF data of dblp record 'conf/formats/BenattarCLR09'" . . . . "2017-05-26T00:50:17+0200" .