iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.dagstuhl.de/rec/conf/apn/KristensenTV17.nt
.
.
.
"Lars Michael Kristensen et al.: Towards Verification of Connection-Aware Transaction Models for Mobile Applications. (2017)" .
_:ID_4d187692b538f652250ea23b0b6c2c11 . _:ID_4d187692b538f652250ea23b0b6c2c11
. _:ID_4d187692b538f652250ea23b0b6c2c11
. _:ID_4d187692b538f652250ea23b0b6c2c11
. _:ID_4d187692b538f652250ea23b0b6c2c11
"conf/apn/KristensenTV17" .
"Towards Verification of Connection-Aware Transaction Models for Mobile Applications." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_aab131555f0f860e82a75cfdb542bbcd_1 . _:Sig_aab131555f0f860e82a75cfdb542bbcd_1
. _:Sig_aab131555f0f860e82a75cfdb542bbcd_1
. _:Sig_aab131555f0f860e82a75cfdb542bbcd_1
"Lars Michael Kristensen" . _:Sig_aab131555f0f860e82a75cfdb542bbcd_1
. _:Sig_aab131555f0f860e82a75cfdb542bbcd_1
"1"^^
. _:Sig_aab131555f0f860e82a75cfdb542bbcd_1
.
_:Sig_aab131555f0f860e82a75cfdb542bbcd_2 . _:Sig_aab131555f0f860e82a75cfdb542bbcd_2
. _:Sig_aab131555f0f860e82a75cfdb542bbcd_2
. _:Sig_aab131555f0f860e82a75cfdb542bbcd_2
"Gabriele Taentzer" . _:Sig_aab131555f0f860e82a75cfdb542bbcd_2
. _:Sig_aab131555f0f860e82a75cfdb542bbcd_2
"2"^^
. _:Sig_aab131555f0f860e82a75cfdb542bbcd_2
.
_:Sig_aab131555f0f860e82a75cfdb542bbcd_3 . _:Sig_aab131555f0f860e82a75cfdb542bbcd_3
. _:Sig_aab131555f0f860e82a75cfdb542bbcd_3
. _:Sig_aab131555f0f860e82a75cfdb542bbcd_3
"Steffen Vaupel" . _:Sig_aab131555f0f860e82a75cfdb542bbcd_3
. _:Sig_aab131555f0f860e82a75cfdb542bbcd_3
"3"^^
. _:Sig_aab131555f0f860e82a75cfdb542bbcd_3
.
.
.
.
.
"227-228" .
"PNSE @ Petri Nets" .
"PNSE @ Petri Nets" .
"2017"^^
.
"2017"^^
.
.
"provenance information for RDF data of dblp record 'conf/apn/KristensenTV17'" .
.
.
.
"2023-03-10T16:22:38+0100" .