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.dagstuhl.de/rec/conf/atva/JensenSSSVD21.nt
. . . . . "Peter Gj\u00F8l Jensen et al.: Faster Pushdown Reachability Analysis with Applications in Network Verification. (2021)" . . _:ID_0873a52099f7a0b0e069d0c8f02ad66f . _:ID_0873a52099f7a0b0e069d0c8f02ad66f . _:ID_0873a52099f7a0b0e069d0c8f02ad66f . _:ID_0873a52099f7a0b0e069d0c8f02ad66f . _:ID_0873a52099f7a0b0e069d0c8f02ad66f "conf/atva/JensenSSSVD21" . _:ID_0911ad69fb6850f390219f24fe70aac7 . _:ID_0911ad69fb6850f390219f24fe70aac7 . _:ID_0911ad69fb6850f390219f24fe70aac7 . _:ID_0911ad69fb6850f390219f24fe70aac7 . _:ID_0911ad69fb6850f390219f24fe70aac7 "10.1007/978-3-030-88885-5_12" . "Faster Pushdown Reachability Analysis with Applications in Network Verification." . . . . . . . . . . . . . . "6"^^ . _:Sig_660c5fe343ce306c3e028b8b9a01662b_1 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_1 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_1 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_1 "Peter Gj\u00F8l Jensen" . _:Sig_660c5fe343ce306c3e028b8b9a01662b_1 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_1 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_1 "1"^^ . _:Sig_660c5fe343ce306c3e028b8b9a01662b_1 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_2 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_2 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_2 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_2 "Stefan Schmid 0001" . _:Sig_660c5fe343ce306c3e028b8b9a01662b_2 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_2 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_2 "2"^^ . _:Sig_660c5fe343ce306c3e028b8b9a01662b_2 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_3 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_3 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_3 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_3 "Morten Konggaard Schou" . _:Sig_660c5fe343ce306c3e028b8b9a01662b_3 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_3 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_3 "3"^^ . _:Sig_660c5fe343ce306c3e028b8b9a01662b_3 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_4 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_4 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_4 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_4 "Jir\u00ED Srba" . _:Sig_660c5fe343ce306c3e028b8b9a01662b_4 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_4 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_4 "4"^^ . _:Sig_660c5fe343ce306c3e028b8b9a01662b_4 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_5 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_5 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_5 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_5 "Juan Vanerio" . _:Sig_660c5fe343ce306c3e028b8b9a01662b_5 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_5 "5"^^ . _:Sig_660c5fe343ce306c3e028b8b9a01662b_5 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_6 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_6 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_6 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_6 "Ingo van Duijn" . _:Sig_660c5fe343ce306c3e028b8b9a01662b_6 . _:Sig_660c5fe343ce306c3e028b8b9a01662b_6 "6"^^ . _:Sig_660c5fe343ce306c3e028b8b9a01662b_6 . . . . . "170-186" . "ATVA" . "ATVA" . "2021"^^ . "2021"^^ . . "provenance information for RDF data of dblp record 'conf/atva/JensenSSSVD21'" . . . . "2023-03-21T20:59:41+0100" .