2006
Preface
Publication
Publication
Electronic Notes in Theoretical Computer Science , Volume 157 p. 1- 2
Presented at the
International Workshop on Parallel and Distributed Methods in Verification
Additional Metadata | |
---|---|
Elsevier | |
Electronic Notes in Theoretical Computer Science | |
International Workshop on Parallel and Distributed Methods in Verification | |
Organisation | Specification and Analysis of Embedded Systems |
Mauw, S., Issarny, V., & Cremers, C. (2006). Preface. Electronic Notes in Theoretical Computer Science, 157, 1–2. |