Concepedia

Author

Timm Schäfer

Ludwig-Maximilians-Universität München

Also Known As

T. Schäfer, Timm Schäfer

2

Publications

202

Citations

1

H-Index

0

Concepts

All Affiliations

Ludwig-Maximilians-Universität München
TS

About

Timm Schäfer is an author at Ludwig-Maximilians-Universität München.

Timm Schäfer

×

1

Publications

202

Citations

1

H-Index

YearCitations

Model Checking UML State Machines and Collaborations

Timm Schäfer, Alexander Knapp, Stephan Merz

Electronic Notes in Theoretical Computer Science

2001

202

Page 1