Suche

Specification and Refinement of Mobile Systems in MTLA and Mobile UML

Alexander Knapp, Stephan Merz, Martin Wirsing, Julia Zappe

Theo. Comp. Sci., 351(2), 2006. S.184-202.


Links: