Preface

L. Brim

doi:10.4204/EPTCS.14

Preface

L. Brim

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

16 Downloads (Pure)

Abstract

The 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2009) took place on November 4, 2009 at the Eindhoven University of Technology, in conjunction with Formal Methods 2009 and other related events for the first time under the heading of Formal Methods Week. This volume contains the final workshop proceedings.

Original language	English
Title of host publication	Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation
Editors	Lubos Brim, Jaco van de Pol
Publisher	arXiv.org
Number of pages	1
DOIs	https://doi.org/10.4204/EPTCS.14
Publication status	Published - 15 Dec 2009
Event	8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009 - Eindhoven, Netherlands Duration: 4 Nov 2009 → 4 Nov 2009 Conference number: 8 http://anna.fi.muni.cz/PDMC/PDMC09/

Publication series

Name	Electronic Proceedings in Theoretical Computer Science
Publisher	Open Publishing Association
Volume	14
ISSN (Print)	2075-2180

Workshop

Workshop	8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009
Abbreviated title	PDMC
Country	Netherlands
City	Eindhoven
Period	4/11/09 → 4/11/09
Internet address	http://anna.fi.muni.cz/PDMC/PDMC09/

Keywords

METIS-275559
Model Checking
IR-69462
CR-C.2.4
Distributed
EWI-17087
FMT-MC: MODEL CHECKING
Parallel

Access to Document

10.4204/EPTCS.14

EPTCS14_preface
open

Fingerprint Dive into the research topics of 'Preface'. Together they form a unique fingerprint.

Cite this

@inproceedings{22d867367ac541b1b844d61841174ac0,

title = "Preface",

abstract = "The 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2009) took place on November 4, 2009 at the Eindhoven University of Technology, in conjunction with Formal Methods 2009 and other related events for the first time under the heading of Formal Methods Week. This volume contains the final workshop proceedings.",

keywords = "METIS-275559, Model Checking, IR-69462, CR-C.2.4, Distributed, EWI-17087, FMT-MC: MODEL CHECKING, Parallel",

author = "L. Brim",

year = "2009",

month = dec,

day = "15",

doi = "10.4204/EPTCS.14",

language = "English",

series = "Electronic Proceedings in Theoretical Computer Science",

publisher = "arXiv.org",

editor = "Lubos Brim and {van de Pol}, Jaco",

booktitle = "Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation",

note = "8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, PDMC ; Conference date: 04-11-2009 Through 04-11-2009",

url = "http://anna.fi.muni.cz/PDMC/PDMC09/",

}

Brim, L 2009, Preface. in L Brim & J van de Pol (eds), Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation. Electronic Proceedings in Theoretical Computer Science, vol. 14, arXiv.org, 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, Netherlands, 4/11/09. https://doi.org/10.4204/EPTCS.14

TY - GEN

T1 - Preface

AU - Brim, L.

N1 - Conference code: 8

PY - 2009/12/15

Y1 - 2009/12/15

N2 - The 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2009) took place on November 4, 2009 at the Eindhoven University of Technology, in conjunction with Formal Methods 2009 and other related events for the first time under the heading of Formal Methods Week. This volume contains the final workshop proceedings.

AB - The 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2009) took place on November 4, 2009 at the Eindhoven University of Technology, in conjunction with Formal Methods 2009 and other related events for the first time under the heading of Formal Methods Week. This volume contains the final workshop proceedings.

KW - METIS-275559

KW - Model Checking

KW - IR-69462

KW - CR-C.2.4

KW - Distributed

KW - EWI-17087

KW - FMT-MC: MODEL CHECKING

KW - Parallel

U2 - 10.4204/EPTCS.14

DO - 10.4204/EPTCS.14

M3 - Conference contribution

T3 - Electronic Proceedings in Theoretical Computer Science

BT - Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation

A2 - Brim, Lubos

A2 - van de Pol, Jaco

PB - arXiv.org

T2 - 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009

Y2 - 4 November 2009 through 4 November 2009

ER -