Merkliste 
 1 Ergebnisse 
 
1

Generating runtime verification specifications based on sta..:

, In: Proceedings of the Symposium on Applied Computing,
Kiliç, Yunus ; Sözer, Hasan - p. 1342-1347 , 2017