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. |
|