TY  - JOUR
A1  - Knapp, Alexander
A1  - Merz, Stephan
A1  - Wirsing, Martin
A1  - Zappe, Júlia
T1  - Specification and refinement of mobile systems in MTLA and mobile UML
T2  - Theoretical Computer Science
Y1  - 2006
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/44481
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-444810
SN  - 0304-3975
VL  - 351
IS  - 2
SP  - 184
EP  - 202
PB  - Elsevier BV
ER  -