Michael Schaarschmidt

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

1 Wolf Zimmermann, Michael Schaarschmidt: Automatic Checking of Component Protocols in Component-Based Systems. Software Composition 2006: 1-17

	2006
1		Wolf Zimmermann, Michael Schaarschmidt: Automatic Checking of Component Protocols in Component-Based Systems. Software Composition 2006: 1-17

Coauthor Index