iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/journals/corr/abs-2203-04422.nt
.
.
.
.
"Guanyan Li et al.: ProbTA: A sound and complete proof rule for probabilistic verification. (2022)" .
.
_:ID_9585ef8ec6b247d2f809e7e90b7de0d3 . _:ID_9585ef8ec6b247d2f809e7e90b7de0d3
. _:ID_9585ef8ec6b247d2f809e7e90b7de0d3
. _:ID_9585ef8ec6b247d2f809e7e90b7de0d3
. _:ID_9585ef8ec6b247d2f809e7e90b7de0d3
"journals/corr/abs-2203-04422" .
_:ID_8e01448581bb0b4f7fe54f013d986bc2 . _:ID_8e01448581bb0b4f7fe54f013d986bc2
. _:ID_8e01448581bb0b4f7fe54f013d986bc2
. _:ID_8e01448581bb0b4f7fe54f013d986bc2
. _:ID_8e01448581bb0b4f7fe54f013d986bc2
"10.48550/ARXIV.2203.04422" .
"ProbTA: A sound and complete proof rule for probabilistic verification." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_82680e6bbb45e316e4ec06c600117c17_1 . _:Sig_82680e6bbb45e316e4ec06c600117c17_1
. _:Sig_82680e6bbb45e316e4ec06c600117c17_1
. _:Sig_82680e6bbb45e316e4ec06c600117c17_1
"Guanyan Li" . _:Sig_82680e6bbb45e316e4ec06c600117c17_1
. _:Sig_82680e6bbb45e316e4ec06c600117c17_1
"1"^^
. _:Sig_82680e6bbb45e316e4ec06c600117c17_1
.
_:Sig_82680e6bbb45e316e4ec06c600117c17_2 . _:Sig_82680e6bbb45e316e4ec06c600117c17_2
. _:Sig_82680e6bbb45e316e4ec06c600117c17_2
. _:Sig_82680e6bbb45e316e4ec06c600117c17_2
"Zhilei Han" . _:Sig_82680e6bbb45e316e4ec06c600117c17_2
. _:Sig_82680e6bbb45e316e4ec06c600117c17_2
"2"^^
. _:Sig_82680e6bbb45e316e4ec06c600117c17_2
.
_:Sig_82680e6bbb45e316e4ec06c600117c17_3 . _:Sig_82680e6bbb45e316e4ec06c600117c17_3
. _:Sig_82680e6bbb45e316e4ec06c600117c17_3
. _:Sig_82680e6bbb45e316e4ec06c600117c17_3
"Fei He 0001" . _:Sig_82680e6bbb45e316e4ec06c600117c17_3
. _:Sig_82680e6bbb45e316e4ec06c600117c17_3
"3"^^
. _:Sig_82680e6bbb45e316e4ec06c600117c17_3
.
.
.
.
.
"CoRR" .
"CoRR" .
"abs/2203.04422" .
"2022"^^
.
"provenance information for RDF data of dblp record 'journals/corr/abs-2203-04422'" .
.
.
.
"2023-08-02T17:27:45+0200" .
