iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.dagstuhl.de/rec/conf/ppopp/ThomsonD15.nt
.
.
.
.
.
.
.
"Paul Thomson and Alastair F. Donaldson: The lazy happens-before relation: better partial-order reduction for systematic concurrency testing. (2015)" .
.
.
_:ID_1b80d3530145f4b22d3c0831ec15d9f1 . _:ID_1b80d3530145f4b22d3c0831ec15d9f1
. _:ID_1b80d3530145f4b22d3c0831ec15d9f1
. _:ID_1b80d3530145f4b22d3c0831ec15d9f1
. _:ID_1b80d3530145f4b22d3c0831ec15d9f1
"conf/ppopp/ThomsonD15" .
_:ID_331beb981451567520c5365bf083d3de . _:ID_331beb981451567520c5365bf083d3de
. _:ID_331beb981451567520c5365bf083d3de
. _:ID_331beb981451567520c5365bf083d3de
. _:ID_331beb981451567520c5365bf083d3de
"10.1145/2688500.2688533" .
_:ID_331beb9814515675807a7033d18837a1 . _:ID_331beb9814515675807a7033d18837a1
. _:ID_331beb9814515675807a7033d18837a1
. _:ID_331beb9814515675807a7033d18837a1
. _:ID_331beb9814515675807a7033d18837a1
"10.1145/2858788.2688533" .
"The lazy happens-before relation: better partial-order reduction for systematic concurrency testing." .
.
.
.
.
.
"2"^^
.
_:Sig_020ece9a328fa26e13ca03791d5f87ad_1 . _:Sig_020ece9a328fa26e13ca03791d5f87ad_1
. _:Sig_020ece9a328fa26e13ca03791d5f87ad_1
. _:Sig_020ece9a328fa26e13ca03791d5f87ad_1
"Paul Thomson" . _:Sig_020ece9a328fa26e13ca03791d5f87ad_1
. _:Sig_020ece9a328fa26e13ca03791d5f87ad_1
"1"^^
. _:Sig_020ece9a328fa26e13ca03791d5f87ad_1
.
_:Sig_020ece9a328fa26e13ca03791d5f87ad_2 . _:Sig_020ece9a328fa26e13ca03791d5f87ad_2
. _:Sig_020ece9a328fa26e13ca03791d5f87ad_2
. _:Sig_020ece9a328fa26e13ca03791d5f87ad_2
"Alastair F. Donaldson" . _:Sig_020ece9a328fa26e13ca03791d5f87ad_2
. _:Sig_020ece9a328fa26e13ca03791d5f87ad_2
"2"^^
. _:Sig_020ece9a328fa26e13ca03791d5f87ad_2
.
.
.
.
.
.
"259-260" .
"PPoPP" .
"PPoPP" .
"2015"^^
.
"2015"^^
.
.
"provenance information for RDF data of dblp record 'conf/ppopp/ThomsonD15'" .
.
.
.
"2022-06-12T19:46:08+0200" .
