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/netys/GanjeiREP20.nt
. . . . "Zeinab Ganjei et al.: Verifying Safety of Parameterized Heard-Of Algorithms. (2020)" . . _:ID_2d4e36f85982a0ffbf3f24a407eb0b80 . _:ID_2d4e36f85982a0ffbf3f24a407eb0b80 . _:ID_2d4e36f85982a0ffbf3f24a407eb0b80 . _:ID_2d4e36f85982a0ffbf3f24a407eb0b80 . _:ID_2d4e36f85982a0ffbf3f24a407eb0b80 "conf/netys/GanjeiREP20" . _:ID_14be43036b12affcb941a080613ff276 . _:ID_14be43036b12affcb941a080613ff276 . _:ID_14be43036b12affcb941a080613ff276 . _:ID_14be43036b12affcb941a080613ff276 . _:ID_14be43036b12affcb941a080613ff276 "10.1007/978-3-030-67087-0_14" . "Verifying Safety of Parameterized Heard-Of Algorithms." . . . . . . . . . . "4"^^ . _:Sig_e5863ec72860624377772c72d6c8ccc4_1 . _:Sig_e5863ec72860624377772c72d6c8ccc4_1 . _:Sig_e5863ec72860624377772c72d6c8ccc4_1 . _:Sig_e5863ec72860624377772c72d6c8ccc4_1 "Zeinab Ganjei" . _:Sig_e5863ec72860624377772c72d6c8ccc4_1 . _:Sig_e5863ec72860624377772c72d6c8ccc4_1 "1"^^ . _:Sig_e5863ec72860624377772c72d6c8ccc4_1 . _:Sig_e5863ec72860624377772c72d6c8ccc4_2 . _:Sig_e5863ec72860624377772c72d6c8ccc4_2 . _:Sig_e5863ec72860624377772c72d6c8ccc4_2 . _:Sig_e5863ec72860624377772c72d6c8ccc4_2 "Ahmed Rezine" . _:Sig_e5863ec72860624377772c72d6c8ccc4_2 . _:Sig_e5863ec72860624377772c72d6c8ccc4_2 "2"^^ . _:Sig_e5863ec72860624377772c72d6c8ccc4_2 . _:Sig_e5863ec72860624377772c72d6c8ccc4_3 . _:Sig_e5863ec72860624377772c72d6c8ccc4_3 . _:Sig_e5863ec72860624377772c72d6c8ccc4_3 . _:Sig_e5863ec72860624377772c72d6c8ccc4_3 "Petru Eles" . _:Sig_e5863ec72860624377772c72d6c8ccc4_3 . _:Sig_e5863ec72860624377772c72d6c8ccc4_3 "3"^^ . _:Sig_e5863ec72860624377772c72d6c8ccc4_3 . _:Sig_e5863ec72860624377772c72d6c8ccc4_4 . _:Sig_e5863ec72860624377772c72d6c8ccc4_4 . _:Sig_e5863ec72860624377772c72d6c8ccc4_4 . _:Sig_e5863ec72860624377772c72d6c8ccc4_4 "Zebo Peng" . _:Sig_e5863ec72860624377772c72d6c8ccc4_4 . _:Sig_e5863ec72860624377772c72d6c8ccc4_4 "4"^^ . _:Sig_e5863ec72860624377772c72d6c8ccc4_4 . . . . . "209-226" . "NETYS" . "NETYS" . "2020"^^ . "2021"^^ . . "provenance information for RDF data of dblp record 'conf/netys/GanjeiREP20'" . . . . "2021-01-15T14:54:17+0100" .