2006
Preface Proceedings of PDMS 2005
Publication
Publication
Presented at the
International Workshop on Parallel and Distributed Methods in Verification
| Additional Metadata | |
|---|---|
| Elsevier B.V. | |
| Electronic Notes in Theoretical Computer Science | |
| International Workshop on Parallel and Distributed Methods in Verification | |
| Organisation | Specification and Analysis of Embedded Systems |
|
Leucker, M.& van de Pol, J. (2006). Preface Proceedings of PDMS 2005. ENCS, 1–2. |
|
| See Also |
|---|