Preface

Kim Guldstrand Larsen; Tim Willemse

doi:10.1109/SOFM.2004.183459

Preface

Publikation: Bidrag til tidsskrift › Leder › peer review

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind	11687 LNCS
Sider (fra-til)	v-vi
ISSN	0302-9743
DOI	https://doi.org/10.1109/SOFM.2004.183459
Status	Udgivet - 2019
Begivenhed	24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019 - Amsterdam, Holland Varighed: 30 aug. 2019 → 31 aug. 2019

Konference

Konference	24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019
Land/Område	Holland
By	Amsterdam
Periode	30/08/2019 → 31/08/2019

Adgang til dokumentet

10.1109/SOFM.2004.183459

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

Link to publication in Scopus

Citationsformater

@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 -