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/lopstr/PettorossiPS05.nt
. . . . "Alberto Pettorossi et al.: Transformational Verification of Parameterized Protocols Using Array Formulas. (2005)" . . _:ID_0b94c878a251d1fb22e02194022c1b7c . _:ID_0b94c878a251d1fb22e02194022c1b7c . _:ID_0b94c878a251d1fb22e02194022c1b7c . _:ID_0b94c878a251d1fb22e02194022c1b7c . _:ID_0b94c878a251d1fb22e02194022c1b7c "conf/lopstr/PettorossiPS05" . _:ID_0e98f88331adc3f8979ca6c58e803664 . _:ID_0e98f88331adc3f8979ca6c58e803664 . _:ID_0e98f88331adc3f8979ca6c58e803664 . _:ID_0e98f88331adc3f8979ca6c58e803664 . _:ID_0e98f88331adc3f8979ca6c58e803664 "10.1007/11680093_3" . "Transformational Verification of Parameterized Protocols Using Array Formulas." . . . . . . . . "3"^^ . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_1 . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_1 . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_1 . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_1 "Alberto Pettorossi" . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_1 . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_1 . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_1 "1"^^ . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_1 . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_2 . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_2 . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_2 . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_2 "Maurizio Proietti" . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_2 . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_2 . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_2 "2"^^ . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_2 . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_3 . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_3 . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_3 . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_3 "Valerio Senni" . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_3 . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_3 . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_3 "3"^^ . _:Sig_a7d3dba2b297cf3fbf1f34be127218c0_3 . . . . . "23-43" . "LOPSTR" . "LOPSTR" . "2005"^^ . "2006"^^ . . "provenance information for RDF data of dblp record 'conf/lopstr/PettorossiPS05'" . . . . "2021-10-14T09:52:43+0200" .