Travelled to:1 × China
Collaborated with:I.Schinz T.Toben B.Westphal
Talks about:rhapsodi (1) environ (1) verif (1) uml (1)
Person: Christian Mrugalla
 DBLP: Mrugalla:Christian
 DBLP: Mrugalla:Christian
Contributed to:
Wrote 1 papers:
- SEFM-2004-SchinzTMW #uml #verification
- The Rhapsody UML Verification Environment (IS, TT, CM, BW), pp. 174–183.












