Vol-1845⫷ Vol-1846 ⫸Vol-1847
urn:nbn:de:0074-1846-0


Vol-1846/paper14⫷Vol-1846/paper15⫸Vol-1846/paper16
Gabriele TaentzerSteffen VaupelLars Michael Kristensen

Towards Verification of Connection-Aware Transaction Models for Mobile Applications