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

Thomas Neele; Anton Wijs

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

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

Thomas Neele (Editor), Anton Wijs (Editor)

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

Publication series

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

Access to Document

10.1007/978-3-031-66149-5

Cite this

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

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.; 30th International Symposium on Model Checking Software, SPIN 2024 ; Conference date: 08-04-2024 Through 09-04-2024",

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",

}

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

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

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 -