Preface

Kim Guldstrand Larsen; Tim Willemse

Preface

Kim Guldstrand Larsen, Tim Willemse

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

Original language	English
Title of host publication	Formal Methods for Industrial Critical Systems
Place of Publication	Cham
Publisher	Springer
Pages	v-vi
Number of pages	2
ISBN (Electronic)	978-3-030-27008-7
ISBN (Print)	978-3-030-27007-0
Publication status	Published - 1 Jan 2019
Event	24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019 - Amsterdam, Netherlands Duration: 30 Aug 2019 → 31 Aug 2019

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer
Volume	11687
ISSN (Print)	0302-9743

Conference

Conference	24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019
Country/Territory	Netherlands
City	Amsterdam
Period	30/08/19 → 31/08/19

Cite this

@inproceedings{230717dbf58146b6abd78dd2127dddcd,

title = "Preface",

author = "Larsen, {Kim Guldstrand} and Tim Willemse",

year = "2019",

month = jan,

day = "1",

language = "English",

isbn = "978-3-030-27007-0",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "v--vi",

booktitle = "Formal Methods for Industrial Critical Systems",

address = "Germany",

note = "24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019 ; Conference date: 30-08-2019 Through 31-08-2019",

}

Larsen, KG & Willemse, T 2019, Preface. in Formal Methods for Industrial Critical Systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11687, Springer, Cham, pp. v-vi, 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, Amsterdam, Netherlands, 30/08/19.

Preface. / Larsen, Kim Guldstrand; Willemse, Tim.
Formal Methods for Industrial Critical Systems. Cham: Springer, 2019. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11687).

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

TY - GEN

T1 - Preface

AU - Larsen, Kim Guldstrand

AU - Willemse, Tim

PY - 2019/1/1

Y1 - 2019/1/1

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

M3 - Conference contribution

AN - SCOPUS:85072873042

SN - 978-3-030-27007-0

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - v-vi

BT - Formal Methods for Industrial Critical Systems

PB - Springer

CY - Cham

T2 - 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019

Y2 - 30 August 2019 through 31 August 2019

ER -

Preface

Publication series

Conference

Other files and links

Cite this