Merkliste 
 1 Ergebnisse 
 
1

A Framework for Non-intrusive Trace-driven Simulation of Ma..:

, In: Runtime Verification; Lecture Notes in Computer Science,
Jahic, Jasmin ; Jung, Matthias ; Kuhn, Thomas.. - p. 458-468 , 2018