Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings /

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also incl...

Descrizione completa

Dettagli Bibliografici

Ente Autore:	SpringerLink (Online service)
Altri autori:	Glässer, Uwe (Redattore), Creissac Campos, Jose (Redattore), Méry, Dominique (Redattore), Palanque, Philippe (Redattore)
Natura:	Elettronico eBook
Lingua:	inglese
Pubblicazione:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edizione:	1st ed. 2023.
Serie:	Lecture Notes in Computer Science, 14010
Soggetti:	Machine theory. Formal Languages and Automata Theory.
Accesso online:	https://doi.org/10.1007/978-3-031-33163-3
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!