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.uni-trier.de/rec/conf/fm/HermoLS23.nt
. . . . . "Montserrat Hermo et al.: Tableaux for Realizability of Safety Specifications. (2023)" . . _:ID_df17adc1c2e67f81c550537abd8f03c0 . _:ID_df17adc1c2e67f81c550537abd8f03c0 . _:ID_df17adc1c2e67f81c550537abd8f03c0 . _:ID_df17adc1c2e67f81c550537abd8f03c0 . _:ID_df17adc1c2e67f81c550537abd8f03c0 "conf/fm/HermoLS23" . _:ID_0d76e636ca698444e3fdbe1e4d023ec9 . _:ID_0d76e636ca698444e3fdbe1e4d023ec9 . _:ID_0d76e636ca698444e3fdbe1e4d023ec9 . _:ID_0d76e636ca698444e3fdbe1e4d023ec9 . _:ID_0d76e636ca698444e3fdbe1e4d023ec9 "10.1007/978-3-031-27481-7_28" . "Tableaux for Realizability of Safety Specifications." . . . . . . . . "3"^^ . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_1 . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_1 . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_1 . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_1 "Montserrat Hermo" . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_1 . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_1 . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_1 "1"^^ . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_1 . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_2 . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_2 . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_2 . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_2 "Paqui Lucio" . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_2 . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_2 . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_2 "2"^^ . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_2 . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_3 . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_3 . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_3 . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_3 "C\u00E9sar S\u00E1nchez 0001" . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_3 . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_3 . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_3 "3"^^ . _:Sig_97117dbbac23693d7d4a2374a6cbed7c_3 . . . . . "495-513" . "FM" . "FM" . "2023"^^ . "2023"^^ . . "provenance information for RDF data of dblp record 'conf/fm/HermoLS23'" . . . . "2023-03-28T19:49:44+0200" .