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/fmcad/ChatterjeeHOP13.nt
. . "Krishnendu Chatterjee et al.: Distributed synthesis for LTL fragments. (2013)" . _:ID_8015674cd2de43909760c06832b88d11 . _:ID_8015674cd2de43909760c06832b88d11 . _:ID_8015674cd2de43909760c06832b88d11 . _:ID_8015674cd2de43909760c06832b88d11 . _:ID_8015674cd2de43909760c06832b88d11 "conf/fmcad/ChatterjeeHOP13" . "Distributed synthesis for LTL fragments." . . . . . . . . . . "4"^^ . _:Sig_1c547a76e32440d4339fd39242fe8a55_1 . _:Sig_1c547a76e32440d4339fd39242fe8a55_1 . _:Sig_1c547a76e32440d4339fd39242fe8a55_1 . _:Sig_1c547a76e32440d4339fd39242fe8a55_1 "Krishnendu Chatterjee" . _:Sig_1c547a76e32440d4339fd39242fe8a55_1 . _:Sig_1c547a76e32440d4339fd39242fe8a55_1 "1"^^ . _:Sig_1c547a76e32440d4339fd39242fe8a55_1 . _:Sig_1c547a76e32440d4339fd39242fe8a55_2 . _:Sig_1c547a76e32440d4339fd39242fe8a55_2 . _:Sig_1c547a76e32440d4339fd39242fe8a55_2 . _:Sig_1c547a76e32440d4339fd39242fe8a55_2 "Thomas A. Henzinger" . _:Sig_1c547a76e32440d4339fd39242fe8a55_2 . _:Sig_1c547a76e32440d4339fd39242fe8a55_2 "2"^^ . _:Sig_1c547a76e32440d4339fd39242fe8a55_2 . _:Sig_1c547a76e32440d4339fd39242fe8a55_3 . _:Sig_1c547a76e32440d4339fd39242fe8a55_3 . _:Sig_1c547a76e32440d4339fd39242fe8a55_3 . _:Sig_1c547a76e32440d4339fd39242fe8a55_3 "Jan Otop" . _:Sig_1c547a76e32440d4339fd39242fe8a55_3 . _:Sig_1c547a76e32440d4339fd39242fe8a55_3 . _:Sig_1c547a76e32440d4339fd39242fe8a55_3 "3"^^ . _:Sig_1c547a76e32440d4339fd39242fe8a55_3 . _:Sig_1c547a76e32440d4339fd39242fe8a55_4 . _:Sig_1c547a76e32440d4339fd39242fe8a55_4 . _:Sig_1c547a76e32440d4339fd39242fe8a55_4 . _:Sig_1c547a76e32440d4339fd39242fe8a55_4 "Andreas Pavlogiannis" . _:Sig_1c547a76e32440d4339fd39242fe8a55_4 . _:Sig_1c547a76e32440d4339fd39242fe8a55_4 "4"^^ . _:Sig_1c547a76e32440d4339fd39242fe8a55_4 . . . . . "18-25" . "FMCAD" . "FMCAD" . "2013"^^ . "2013"^^ . . "provenance information for RDF data of dblp record 'conf/fmcad/ChatterjeeHOP13'" . . . . "2021-08-09T15:21:44+0200" .