Preface

Jan Friso Groote; Marieke Huisman

doi:10.1007/978-3-031-15008-1

Preface

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

Original language	English
Title of host publication	Formal Methods for Industrial Critical Systems
Subtitle of host publication	27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings
Editors	Jan Friso Groote, Marieke Huisman
Publisher	Springer
Pages	v
ISBN (Electronic)	978-3-031-15008-1
ISBN (Print)	978-3-031-15007-4
DOIs	https://doi.org/10.1007/978-3-031-15008-1
Publication status	Published - 2022
Event	27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022 - Warsaw, Poland Duration: 14 Sept 2022 → 15 Sept 2022

Publication series

Name	Lecture Notes in Computer Science
Volume	13487
ISSN (Print)	0302-9743

Conference

Conference	27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022
Country/Territory	Poland
City	Warsaw
Period	14/09/22 → 15/09/22

Access to Document

10.1007/978-3-031-15008-1

Cite this

@inbook{b77537d9e33540c29055fd82dbc19405,

title = "Preface",

author = "Groote, {Jan Friso} and Marieke Huisman",

year = "2022",

doi = "10.1007/978-3-031-15008-1",

language = "English",

isbn = "978-3-031-15007-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "v",

editor = "Groote, {Jan Friso} and Marieke Huisman",

booktitle = "Formal Methods for Industrial Critical Systems",

address = "Germany",

note = "27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022 ; Conference date: 14-09-2022 Through 15-09-2022",

}

Groote, JF & Huisman, M 2022, Preface. in JF Groote & M Huisman (eds), Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings. Lecture Notes in Computer Science, vol. 13487, Springer, pp. v, 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, Warsaw, Poland, 14/09/22. https://doi.org/10.1007/978-3-031-15008-1

Preface. / Groote, Jan Friso; Huisman, Marieke.
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings. ed. / Jan Friso Groote; Marieke Huisman. Springer, 2022. p. v (Lecture Notes in Computer Science; Vol. 13487).

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

TY - CHAP

T1 - Preface

AU - Groote, Jan Friso

AU - Huisman, Marieke

PY - 2022

Y1 - 2022

UR - http://www.scopus.com/inward/record.url?scp=85137977197&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-15008-1

DO - 10.1007/978-3-031-15008-1

M3 - Foreword/editorial

AN - SCOPUS:85137977197

SN - 978-3-031-15007-4

T3 - Lecture Notes in Computer Science

SP - v

BT - Formal Methods for Industrial Critical Systems

A2 - Groote, Jan Friso

A2 - Huisman, Marieke

PB - Springer

T2 - 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022

Y2 - 14 September 2022 through 15 September 2022

ER -

Preface

Publication series

Conference

Access to Document

Other files and links

Cite this