Stephan Merz
Author
Alternate name Stephan Merz
Institutions Université de Lorraine, Laboratoire Lorrain de Recherche en Informatique et ses Applications, Centre National de la Recherche Scientifique
Past institutions Université de Lorraine, Centre National de la Recherche Scientifique, Laboratoire d'Informatique en Images et Systèmes d'Information, Laboratoire Lorrain de Recherche en Informatique et ses Applications, Computer Algorithms for Medicine +5 more
ORCID: Yes
H-index: 25
I10-index: 51
Works count: 203
Citations count: 2,292
Model Checking UML State Machines and Collaborations
2001 · Timm Schäfer, Alexander Knapp, et al. · Electronic Notes in Theoretical Computer Science
Model Checking Timed UML State Machines and Collaborations
2002 · Alexander Knapp, Stephan Merz, et al. · Lecture notes in computer science
Temporal Logic and State Systems
2008 · Fred Kröger, Stephan Merz · Texts in theoretical computer science