Preface

Lubos Brim; Martin Leucker

doi:10.1007/978-3-540-70952-7

Preface

Lubos Brim, Martin Leucker

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

43 Downloads (Pure)

Abstract

Preface for the workshops FMICS 2006 (Formal Methods in Industrial Critical Systems) and PDMC 2006 (Parallel and Distributed Methods in verifiCation). Affiliated to CONCUR 2006.

Original language	Undefined
Title of host publication	Formal Methods: Applications and Technology
Editors	Lubos Brim, Boudewijn R.H.M. Haverkort, Martin Leucker, Jan Cornelis van de Pol
Place of Publication	Berlin
Publisher	Springer
Pages	V-VI
Number of pages	2
ISBN (Print)	978-3-540-70951-0
DOIs	https://doi.org/10.1007/978-3-540-70952-7
Publication status	Published - Jun 2007
Event	Formal Methods: Applications and Technology - Bonn, Germany Duration: 26 Aug 2006 → 31 Aug 2006

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Number	LNCS4549
Volume	4346
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Workshop

Workshop	Formal Methods: Applications and Technology
Period	26/08/06 → 31/08/06
Other	26-31 Aug 2006

Keywords

EWI-11290
FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS
METIS-242022
IR-61981
FMT-MC: MODEL CHECKING

Access to Document

10.1007/978-3-540-70952-7

preface

Cite this

@inproceedings{c9ab594192bf43ea803496a4f6527b82,

title = "Preface",

abstract = "Preface for the workshops FMICS 2006 (Formal Methods in Industrial Critical Systems) and PDMC 2006 (Parallel and Distributed Methods in verifiCation). Affiliated to CONCUR 2006.",

keywords = "EWI-11290, FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS, METIS-242022, IR-61981, FMT-MC: MODEL CHECKING",

author = "Lubos Brim and Martin Leucker",

note = "Editorial preface; Formal Methods: Applications and Technology ; Conference date: 26-08-2006 Through 31-08-2006",

year = "2007",

month = jun,

doi = "10.1007/978-3-540-70952-7",

language = "Undefined",

isbn = "978-3-540-70951-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "LNCS4549",

pages = "V--VI",

editor = "Lubos Brim and Haverkort, {Boudewijn R.H.M.} and Martin Leucker and {van de Pol}, {Jan Cornelis}",

booktitle = "Formal Methods: Applications and Technology",

address = "Germany",

}

Preface. / Brim, Lubos; Leucker, Martin.
Formal Methods: Applications and Technology. ed. / Lubos Brim; Boudewijn R.H.M. Haverkort; Martin Leucker; Jan Cornelis van de Pol. Berlin: Springer, 2007. p. V-VI 10.1007/978-3-540-70952-7 (Lecture Notes in Computer Science; Vol. 4346, No. LNCS4549).

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

TY - GEN

T1 - Preface

AU - Brim, Lubos

AU - Leucker, Martin

N1 - Editorial preface

PY - 2007/6

Y1 - 2007/6

N2 - Preface for the workshops FMICS 2006 (Formal Methods in Industrial Critical Systems) and PDMC 2006 (Parallel and Distributed Methods in verifiCation). Affiliated to CONCUR 2006.

AB - Preface for the workshops FMICS 2006 (Formal Methods in Industrial Critical Systems) and PDMC 2006 (Parallel and Distributed Methods in verifiCation). Affiliated to CONCUR 2006.

KW - EWI-11290

KW - FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS

KW - METIS-242022

KW - IR-61981

KW - FMT-MC: MODEL CHECKING

U2 - 10.1007/978-3-540-70952-7

DO - 10.1007/978-3-540-70952-7

M3 - Conference contribution

SN - 978-3-540-70951-0

T3 - Lecture Notes in Computer Science

SP - V-VI

BT - Formal Methods: Applications and Technology

A2 - Brim, Lubos

A2 - Haverkort, Boudewijn R.H.M.

A2 - Leucker, Martin

A2 - van de Pol, Jan Cornelis

PB - Springer

CY - Berlin

T2 - Formal Methods: Applications and Technology

Y2 - 26 August 2006 through 31 August 2006

ER -