iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/journals/tosem/HeGWWZ16.nt
.
.
.
.
"Fei He et al.: Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes. (2016)" .
.
_:ID_b4e3c7debcbe3a368cd9f38712f16ff5 . _:ID_b4e3c7debcbe3a368cd9f38712f16ff5
. _:ID_b4e3c7debcbe3a368cd9f38712f16ff5
. _:ID_b4e3c7debcbe3a368cd9f38712f16ff5
. _:ID_b4e3c7debcbe3a368cd9f38712f16ff5
"journals/tosem/HeGWWZ16" .
_:ID_b581d0281e2eea7982f149f87342b92c . _:ID_b581d0281e2eea7982f149f87342b92c
. _:ID_b581d0281e2eea7982f149f87342b92c
. _:ID_b581d0281e2eea7982f149f87342b92c
. _:ID_b581d0281e2eea7982f149f87342b92c
"10.1145/2907943" .
"Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes." .
.
.
.
.
.
.
.
.
.
.
.
"5"^^
.
_:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_1 . _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_1
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_1
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_1
"Fei He 0001" . _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_1
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_1
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_1
"1"^^
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_1
.
_:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_2 . _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_2
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_2
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_2
"Xiaowei Gao" . _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_2
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_2
"2"^^
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_2
.
_:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_3 . _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_3
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_3
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_3
"Miaofei Wang" . _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_3
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_3
"3"^^
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_3
.
_:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_4 . _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_4
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_4
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_4
"Bow-Yaw Wang" . _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_4
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_4
"4"^^
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_4
.
_:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_5 . _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_5
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_5
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_5
"Lijun Zhang 0001" . _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_5
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_5
"5"^^
. _:Sig_127c82a16694c9f2ea72ae49bcc7ffb1_5
.
.
.
.
.
"21:1-21:39" .
"ACM Trans. Softw. Eng. Methodol." .
"ACM Trans. Softw. Eng. Methodol." .
"25" .
"3" .
"2016"^^
.
"provenance information for RDF data of dblp record 'journals/tosem/HeGWWZ16'" .
.
.
.
"2022-06-16T17:14:43+0200" .
