Preface

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

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

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
StatePublished - 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)). DOI: 10.1016/j.entcs.2005.10.014, 10.1016/0304-3975(94)00101-4
Leucker, M. ; Pol, van de, J.C./ Preface. Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification (PDMC'05, Lisbon, Portugal, July 10, 2005). 2006. pp. 1-2 (Electronic Notes in Theoretical Computer Science).
@inbook{81cdf1bfb0904563a95cbb0edda669c6,
title = "Preface",
author = "M. Leucker and {Pol, van de}, J.C.",
year = "2006",
doi = "10.1016/j.entcs.2005.10.014",
language = "English",
series = "Electronic Notes in Theoretical Computer Science",
pages = "1--2",
booktitle = "Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification (PDMC'05, Lisbon, Portugal, July 10, 2005)",

}

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

Preface. / Leucker, M.; Pol, van de, J.C.

Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification (PDMC'05, Lisbon, Portugal, July 10, 2005). 2006. p. 1-2 (Electronic Notes in Theoretical Computer Science; Vol. 135(2)).

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

TY - CHAP

T1 - Preface

AU - Leucker,M.

AU - Pol, van de,J.C.

PY - 2006

Y1 - 2006

U2 - 10.1016/j.entcs.2005.10.014

DO - 10.1016/j.entcs.2005.10.014

M3 - Foreword/postscript

T3 - Electronic Notes in Theoretical Computer Science

SP - 1

EP - 2

BT - Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification (PDMC'05, Lisbon, Portugal, July 10, 2005)

ER -

Leucker M, Pol, van de JC. Preface. In Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification (PDMC'05, Lisbon, Portugal, July 10, 2005). 2006. p. 1-2. (Electronic Notes in Theoretical Computer Science). Available from, DOI: 10.1016/j.entcs.2005.10.014, 10.1016/0304-3975(94)00101-4