Merkliste 
 1 Ergebnisse 
 
1

Generation and Validation of Frame Conditions in Formal Mod..:

, In: Communications in Computer and Information Science; Model-Driven Engineering and Software Development,
Niemann, Philipp ; Przigoda, Nils ; Wille, Robert. - p. 259-283 , 2019