iBet uBet web content aggregator. Adding the entire web to your favor.
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" .