Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

Research output: Book/Report › Book editing › Academic › peer-review

Original language	English
Publisher	Springer
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 - 2025
Event	30th International Symposium on Model Checking Software, SPIN 2024 - Luxembourg, Luxembourg Duration: 8 Apr 2024 → 9 Apr 2024

Name	Lecture Notes in Computer Science
Volume	14624
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

@book{a1e781219b9f41f6965cf2bc51143536,

title = "Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings",

editor = "Thomas Neele and Anton Wijs",

year = "2025",

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

language = "English",

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

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

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

}

TY - BOOK

T1 - Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

A2 - Neele, Thomas

A2 - Wijs, Anton

PY - 2025

Y1 - 2025

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

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

M3 - Book editing

SN - 978-3-031-66148-8

T3 - Lecture Notes in Computer Science

BT - Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

PB - Springer

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

Y2 - 8 April 2024 through 9 April 2024

ER -