Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 Bonn, Germany, August 26-27 and August 31, 2006 : revised selected papers

L. Brim; B.R.H.M. Haverkort; M. Leucker; J.C. Pol, van de

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

Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 Bonn, Germany, August 26-27 and August 31, 2006 : revised selected papers

L. Brim (Editor), B.R.H.M. Haverkort (Editor), M. Leucker (Editor), J.C. Pol, van de (Editor)

Research output: Book/Report › Book editing › Academic

Original language	English
Place of Publication	Berlin
Publisher	Springer
Number of pages	363
ISBN (Electronic)	9783540709527
ISBN (Print)	978-3-540-70951-0
DOIs	https://doi.org/10.1007/978-3-540-70952-7
Publication status	Published - 2007

Publication series

Name	Lecture notes in computer science
Volume	4346
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-540-70952-7

Cite this

Brim, L., Haverkort, B. R. H. M., Leucker, M., & Pol, van de, J. C. (Eds.) (2007). Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 Bonn, Germany, August 26-27 and August 31, 2006 : revised selected papers. (Lecture notes in computer science; Vol. 4346). Springer. https://doi.org/10.1007/978-3-540-70952-7

@book{b11b61afed884b4c9da9e701621797ad,

title = "Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 Bonn, Germany, August 26-27 and August 31, 2006 : revised selected papers",

editor = "L. Brim and B.R.H.M. Haverkort and M. Leucker and {Pol, van de}, J.C.",

year = "2007",

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

language = "English",

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

series = "Lecture notes in computer science",

publisher = "Springer",

address = "Germany",

}

Brim, L, Haverkort, BRHM, Leucker, M & Pol, van de, JC (eds) 2007, Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 Bonn, Germany, August 26-27 and August 31, 2006 : revised selected papers. Lecture notes in computer science, vol. 4346, Springer, Berlin. https://doi.org/10.1007/978-3-540-70952-7

Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 Bonn, Germany, August 26-27 and August 31, 2006 : revised selected papers. / Brim, L. (Editor); Haverkort, B.R.H.M. (Editor); Leucker, M. (Editor) et al.
Berlin: Springer, 2007. 363 p. (Lecture notes in computer science; Vol. 4346).

Research output: Book/Report › Book editing › Academic

TY - BOOK

T1 - Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 Bonn, Germany, August 26-27 and August 31, 2006 : revised selected papers

A2 - Brim, L.

A2 - Haverkort, B.R.H.M.

A2 - Leucker, M.

A2 - Pol, van de, J.C.

PY - 2007

Y1 - 2007

UR - http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70951-0

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

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

M3 - Book editing

SN - 978-3-540-70951-0

T3 - Lecture notes in computer science

BT - Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 Bonn, Germany, August 26-27 and August 31, 2006 : revised selected papers

PB - Springer

CY - Berlin

ER -

Brim L, (ed.), Haverkort BRHM, (ed.), Leucker M, (ed.), Pol, van de JC, (ed.). Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 Bonn, Germany, August 26-27 and August 31, 2006 : revised selected papers. Berlin: Springer, 2007. 363 p. (Lecture notes in computer science). doi: 10.1007/978-3-540-70952-7

Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 Bonn, Germany, August 26-27 and August 31, 2006 : revised selected papers

Publication series

Access to Document

Other files and links

Cite this