Preface

Lubos Brim, Martin Leucker

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

7 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 languageUndefined
Title of host publicationFormal Methods: Applications and Technology
EditorsLubos Brim, Boudewijn R.H.M. Haverkort, Martin Leucker, Jan Cornelis van de Pol
Place of PublicationBerlin
PublisherSpringer
PagesV-VI
Number of pages2
ISBN (Print)978-3-540-70951-0
DOIs
Publication statusPublished - Jun 2007

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
NumberLNCS4549
Volume4346
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

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

Cite this

Brim, L., & Leucker, M. (2007). Preface. In L. Brim, B. R. H. M. Haverkort, M. Leucker, & J. C. van de Pol (Eds.), Formal Methods: Applications and Technology (pp. V-VI). [10.1007/978-3-540-70952-7] (Lecture Notes in Computer Science; Vol. 4346, No. LNCS4549). Berlin: Springer. https://doi.org/10.1007/978-3-540-70952-7
Brim, Lubos ; Leucker, Martin. / Preface. Formal Methods: Applications and Technology. editor / Lubos Brim ; Boudewijn R.H.M. Haverkort ; Martin Leucker ; Jan Cornelis van de Pol. Berlin : Springer, 2007. pp. V-VI (Lecture Notes in Computer Science; LNCS4549).
@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",
year = "2007",
month = "6",
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",

}

Brim, L & Leucker, M 2007, Preface. in L Brim, BRHM Haverkort, M Leucker & JC van de Pol (eds), Formal Methods: Applications and Technology., 10.1007/978-3-540-70952-7, Lecture Notes in Computer Science, no. LNCS4549, vol. 4346, Springer, Berlin, pp. V-VI. https://doi.org/10.1007/978-3-540-70952-7

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 proceedingConference contributionAcademic

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

ER -

Brim L, Leucker M. Preface. In Brim L, Haverkort BRHM, Leucker M, van de Pol JC, editors, Formal Methods: Applications and Technology. Berlin: Springer. 2007. p. V-VI. 10.1007/978-3-540-70952-7. (Lecture Notes in Computer Science; LNCS4549). https://doi.org/10.1007/978-3-540-70952-7