"Towards Verification of Connection-Aware Transaction Models for Mobile ..."

Lars Michael Kristensen, Gabriele Taentzer, Steffen Vaupel (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics