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/journals/corr/abs-1205-0946.nt
. . . "Marcello M. Bersani et al.: Constraint LTL Satisfiability Checking without Automata (2012)" . _:ID_3bf634a8edd72266509c823fce103925 . _:ID_3bf634a8edd72266509c823fce103925 . _:ID_3bf634a8edd72266509c823fce103925 . _:ID_3bf634a8edd72266509c823fce103925 . _:ID_3bf634a8edd72266509c823fce103925 "journals/corr/abs-1205-0946" . _:ID_c7abe2252b953b1369ae774d5bb6c114 . _:ID_c7abe2252b953b1369ae774d5bb6c114 . _:ID_c7abe2252b953b1369ae774d5bb6c114 . _:ID_c7abe2252b953b1369ae774d5bb6c114 . _:ID_c7abe2252b953b1369ae774d5bb6c114 "1205.0946" . "Constraint LTL Satisfiability Checking without Automata" . . . . . . . . . . . . . . "6"^^ . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_1 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_1 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_1 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_1 "Marcello M. Bersani" . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_1 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_1 "1"^^ . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_1 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_2 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_2 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_2 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_2 "Achille Frigeri" . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_2 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_2 "2"^^ . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_2 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_3 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_3 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_3 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_3 "Angelo Morzenti" . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_3 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_3 "3"^^ . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_3 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_4 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_4 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_4 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_4 "Matteo Pradella" . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_4 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_4 "4"^^ . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_4 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_5 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_5 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_5 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_5 "Matteo Rossi 0001" . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_5 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_5 "5"^^ . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_5 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_6 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_6 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_6 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_6 "Pierluigi San Pietro" . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_6 . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_6 "6"^^ . _:Sig_c2a5fc48ec547622d74c49dfcc8d8ce1_6 . . . . . "CoRR" . "CoRR" . "abs/1205.0946" . "2012"^^ . "provenance information for RDF data of dblp record 'journals/corr/abs-1205-0946'" . . . . "2023-04-17T17:27:31+0200" .