Preface

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

doi:10.1016/j.entcs.2005.10.014

Preface

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

Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Professional

Original language	English
Title of host publication	Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification (PDMC'05, Lisbon, Portugal, July 10, 2005)
Pages	1-2
DOIs	https://doi.org/10.1016/j.entcs.2005.10.014
Publication status	Published - 2006

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	135(2)
ISSN (Print)	1571-0061

Access to Document

10.1016/j.entcs.2005.10.014

Cite this

@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)",

}

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

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 -