Merkliste 
 1 Ergebnisse 
 
1

Verifying semantic conformance of state machine-to-java cod..:

, In: Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I,
Rahim, Lukman Ab ; Whittle, Jon - p. 166-180 , 2010