- Search

- Kontakt

Towards OCL/RT

María Victoria Cengarle, Alexander Knapp
In: Lars-Henrik Eriksson, Peter Alexander Lindsay (Hgg.). Proc. 11th Int. Symp. Formal Methods Europe (FME'02). Lect. Notes Comp. Sci. 2391, Springer, Berlin, 2002. S. 390-409.

Links: