iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/journals/ijpp/FortinG16.nt
.
.
.
.
"Jean Fortin and Fr\u00E9d\u00E9ric Gava: BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation. (2016)" .
.
_:ID_86b83178a12cda005eae5d20f7600fbf . _:ID_86b83178a12cda005eae5d20f7600fbf
. _:ID_86b83178a12cda005eae5d20f7600fbf
. _:ID_86b83178a12cda005eae5d20f7600fbf
. _:ID_86b83178a12cda005eae5d20f7600fbf
"journals/ijpp/FortinG16" .
_:ID_875639c2029d8a437d65ce5693712471 . _:ID_875639c2029d8a437d65ce5693712471
. _:ID_875639c2029d8a437d65ce5693712471
. _:ID_875639c2029d8a437d65ce5693712471
. _:ID_875639c2029d8a437d65ce5693712471
"10.1007/S10766-015-0360-Y" .
"BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation." .
.
.
.
.
.
"2"^^
.
_:Sig_e450ec3b4b0369bcbc4717e3a1369f7b_1 . _:Sig_e450ec3b4b0369bcbc4717e3a1369f7b_1
. _:Sig_e450ec3b4b0369bcbc4717e3a1369f7b_1
. _:Sig_e450ec3b4b0369bcbc4717e3a1369f7b_1
"Jean Fortin" . _:Sig_e450ec3b4b0369bcbc4717e3a1369f7b_1
. _:Sig_e450ec3b4b0369bcbc4717e3a1369f7b_1
"1"^^
. _:Sig_e450ec3b4b0369bcbc4717e3a1369f7b_1
.
_:Sig_e450ec3b4b0369bcbc4717e3a1369f7b_2 . _:Sig_e450ec3b4b0369bcbc4717e3a1369f7b_2
. _:Sig_e450ec3b4b0369bcbc4717e3a1369f7b_2
. _:Sig_e450ec3b4b0369bcbc4717e3a1369f7b_2
"Fr\u00E9d\u00E9ric Gava" . _:Sig_e450ec3b4b0369bcbc4717e3a1369f7b_2
. _:Sig_e450ec3b4b0369bcbc4717e3a1369f7b_2
. _:Sig_e450ec3b4b0369bcbc4717e3a1369f7b_2
"2"^^
. _:Sig_e450ec3b4b0369bcbc4717e3a1369f7b_2
.
.
.
.
.
"574-597" .
"Int. J. Parallel Program." .
"Int. J. Parallel Program." .
"44" .
"3" .
"2016"^^
.
"provenance information for RDF data of dblp record 'journals/ijpp/FortinG16'" .
.
.
.
"2020-04-01T08:49:52+0200" .
