Preface

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord/editorialAcademic

Originele taal-2Engels
TitelModel Checking Software
Subtitel30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
RedacteurenThomas Neele, Anton Wijs
UitgeverijSpringer
Pagina'sv-vi
ISBN van elektronische versie978-3-031-66149-5
ISBN van geprinte versie978-3-031-66148-8
DOI's
StatusGepubliceerd - 13 okt. 2024
Evenement30th International Symposium on Model Checking Software, SPIN 2024 - Luxembourg, Luxemburg
Duur: 8 apr. 20249 apr. 2024

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume14624
ISSN van geprinte versie0302-9743

Congres

Congres30th International Symposium on Model Checking Software, SPIN 2024
Land/RegioLuxemburg
StadLuxembourg
Periode8/04/249/04/24

Citeer dit