Originalsprache | englisch |
---|---|
Seiten (von - bis) | 5-36 |
Fachzeitschrift | Formal Methods in System Design |
Jahrgang | 28 |
Ausgabenummer | 1 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2006 |
Treatment code (Nähere Zuordnung)
- Application
C. Wang, Roderick Paul Bloem, G.D. Hachtel, K. Ravi, F. Somenzi
Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
Originalsprache | englisch |
---|---|
Seiten (von - bis) | 5-36 |
Fachzeitschrift | Formal Methods in System Design |
Jahrgang | 28 |
Ausgabenummer | 1 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2006 |