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/afp/EsparzaLNNSS14.nt
. . "Javier Esparza et al.: A Fully Verified Executable LTL Model Checker. (2014)" . _:ID_7a47326d5a1271ab8eed80043a4b886a . _:ID_7a47326d5a1271ab8eed80043a4b886a . _:ID_7a47326d5a1271ab8eed80043a4b886a . _:ID_7a47326d5a1271ab8eed80043a4b886a . _:ID_7a47326d5a1271ab8eed80043a4b886a "journals/afp/EsparzaLNNSS14" . "A Fully Verified Executable LTL Model Checker." . . . . . . . . . . . . . . "6"^^ . _:Sig_00f6fa0d588fc567159d47a438c8dc26_1 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_1 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_1 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_1 "Javier Esparza" . _:Sig_00f6fa0d588fc567159d47a438c8dc26_1 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_1 "1"^^ . _:Sig_00f6fa0d588fc567159d47a438c8dc26_1 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_2 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_2 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_2 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_2 "Peter Lammich" . _:Sig_00f6fa0d588fc567159d47a438c8dc26_2 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_2 "2"^^ . _:Sig_00f6fa0d588fc567159d47a438c8dc26_2 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_3 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_3 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_3 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_3 "Ren\u00E9 Neumann" . _:Sig_00f6fa0d588fc567159d47a438c8dc26_3 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_3 "3"^^ . _:Sig_00f6fa0d588fc567159d47a438c8dc26_3 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_4 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_4 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_4 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_4 "Tobias Nipkow" . _:Sig_00f6fa0d588fc567159d47a438c8dc26_4 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_4 "4"^^ . _:Sig_00f6fa0d588fc567159d47a438c8dc26_4 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_5 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_5 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_5 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_5 "Alexander Schimpf" . _:Sig_00f6fa0d588fc567159d47a438c8dc26_5 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_5 "5"^^ . _:Sig_00f6fa0d588fc567159d47a438c8dc26_5 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_6 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_6 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_6 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_6 "Jan-Georg Smaus" . _:Sig_00f6fa0d588fc567159d47a438c8dc26_6 . _:Sig_00f6fa0d588fc567159d47a438c8dc26_6 "6"^^ . _:Sig_00f6fa0d588fc567159d47a438c8dc26_6 . . . . . "Arch. Formal Proofs" . "Arch. Formal Proofs" . "2014" . "2014"^^ . "provenance information for RDF data of dblp record 'journals/afp/EsparzaLNNSS14'" . . . . "2020-05-25T09:13:26+0200" .