Preface

M. Leucker, J.C. Pol, van de

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptProfessional

Original languageEnglish
Title of host publicationProceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification (PDMC'05, Lisbon, Portugal, July 10, 2005)
Pages1-2
DOIs
Publication statusPublished - 2006

Publication series

NameElectronic Notes in Theoretical Computer Science
Volume135(2)
ISSN (Print)1571-0061

Cite this

Leucker, M., & Pol, van de, J. C. (2006). Preface. In Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification (PDMC'05, Lisbon, Portugal, July 10, 2005) (pp. 1-2). (Electronic Notes in Theoretical Computer Science; Vol. 135(2)). https://doi.org/10.1016/j.entcs.2005.10.014, https://doi.org/10.1016/0304-3975(94)00101-4