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