Preface

Thomas Neele; Anton Wijs

doi:10.1007/978-3-031-66149-5

Preface

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

Original language	English
Title of host publication	Model Checking Software
Subtitle of host publication	30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
Editors	Thomas Neele, Anton Wijs
Publisher	Springer
Pages	v-vi
ISBN (Electronic)	978-3-031-66149-5
ISBN (Print)	978-3-031-66148-8
DOIs	https://doi.org/10.1007/978-3-031-66149-5
Publication status	Published - 13 Oct 2024
Event	30th International Symposium on Model Checking Software, SPIN 2024 - Luxembourg, Luxembourg Duration: 8 Apr 2024 → 9 Apr 2024

Publication series

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

Conference

Conference	30th International Symposium on Model Checking Software, SPIN 2024
Country/Territory	Luxembourg
City	Luxembourg
Period	8/04/24 → 9/04/24

Access to Document

10.1007/978-3-031-66149-5

Cite this

Neele, T., & Wijs, A. (2024). Preface. In T. Neele, & A. Wijs (Eds.), Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (pp. v-vi). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14624). Springer. https://doi.org/10.1007/978-3-031-66149-5

@inbook{e6e95ba254d64b6ca36212fbfcd26849,

title = "Preface",

author = "Thomas Neele and Anton Wijs",

year = "2024",

month = oct,

day = "13",

doi = "10.1007/978-3-031-66149-5",

language = "English",

isbn = "978-3-031-66148-8",

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

publisher = "Springer",

pages = "v--vi",

editor = "Thomas Neele and Anton Wijs",

booktitle = "Model Checking Software",

address = "Germany",

note = "30th International Symposium on Model Checking Software, SPIN 2024 ; Conference date: 08-04-2024 Through 09-04-2024",

}

Neele, T & Wijs, A 2024, Preface. in T Neele & A Wijs (eds), Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14624, Springer, pp. v-vi, 30th International Symposium on Model Checking Software, SPIN 2024, Luxembourg, Luxembourg, 8/04/24. https://doi.org/10.1007/978-3-031-66149-5

Preface. / Neele, Thomas ; Wijs, Anton.
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings. ed. / Thomas Neele; Anton Wijs. Springer, 2024. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14624).

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

TY - CHAP

T1 - Preface

AU - Neele, Thomas

AU - Wijs, Anton

PY - 2024/10/13

Y1 - 2024/10/13

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

U2 - 10.1007/978-3-031-66149-5

DO - 10.1007/978-3-031-66149-5

M3 - Foreword/editorial

AN - SCOPUS:85207669623

SN - 978-3-031-66148-8

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

SP - v-vi

BT - Model Checking Software

A2 - Neele, Thomas

A2 - Wijs, Anton

PB - Springer

T2 - 30th International Symposium on Model Checking Software, SPIN 2024

Y2 - 8 April 2024 through 9 April 2024

ER -

Neele T , Wijs A. Preface. In Neele T, Wijs A, editors, Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings. Springer. 2024. p. v-vi. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-66149-5

Preface

Publication series

Conference

Access to Document

Other files and links

Cite this