C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Timm Schäfer
Publication Activity (10 Years)
Years Active: 2001-2001
Publications (10 Years): 0
</>
Publications
</>
Timm Schäfer
,
Alexander Knapp
,
Stephan Merz
Model checking UML state machines and collaborations.
Electron. Notes Theor. Comput. Sci.
55 (3) (2001)