Preface

Kim Guldstrand Larsen; Tim Willemse

doi:10.1109/SOFM.2004.183459

Preface

Research output: Contribution to journal › Editorial › peer-review

Original language	English
Book series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11687 LNCS
Pages (from-to)	v-vi
ISSN	0302-9743
DOIs	https://doi.org/10.1109/SOFM.2004.183459
Publication status	Published - 2019
Event	24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019 - Amsterdam, Netherlands Duration: 30 Aug 2019 → 31 Aug 2019

Conference

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

Bibliographical note

Copyright:
Copyright 2019 Elsevier B.V., All rights reserved.

Access to Document

10.1109/SOFM.2004.183459

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@article{a378edfef1ae41c79d0ed5734310eb25,

title = "Preface",

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

note = "Copyright: Copyright 2019 Elsevier B.V., All rights reserved.; 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019 ; Conference date: 30-08-2019 Through 31-08-2019",

year = "2019",

doi = "10.1109/SOFM.2004.183459",

language = "English",

volume = "11687 LNCS",

pages = "v--vi",

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

issn = "0302-9743",

publisher = "Springer",

}

TY - JOUR

T1 - Preface

AU - Larsen, Kim Guldstrand

AU - Willemse, Tim

PY - 2019

Y1 - 2019

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

U2 - 10.1109/SOFM.2004.183459

DO - 10.1109/SOFM.2004.183459

M3 - Editorial

AN - SCOPUS:85072873042

SN - 0302-9743

VL - 11687 LNCS

SP - v-vi

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

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

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

Y2 - 30 August 2019 through 31 August 2019

ER -

Preface

Conference

Bibliographical note

Access to Document

AUB Link

Other files and links

Cite this