Concepedia
1
Publications
202
Citations
H-Index
2001
Active since
Affiliations
Ludwig-Maximilians-Universität München(Current)
Timm Schäfer is an author at Ludwig-Maximilians-Universität München.
Publications per year
2001–2001
Model Checking UML State Machines and Collaborations
Timm Schäfer, Alexander Knapp, Stephan Merz · Electronic Notes in Theoretical Computer Science · 2001 · 202 citations · Full text
Rows per page
1–1 of 1