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. In ENCS (pp. 1–2). Elsevier B.V. |
|
| See Also |
|---|