Model Checking Software. SPIN 2023

Book title Buchtitel

ISBN

978-3-031-32157-3

Editor Herausgeber_in

Caltais, Georgiana
Schilling, Christian

Publisher Herausgeber

Springer Cham

DOI

10.1007/978-3-031-32157-3

Series Schriftenreihe

Lecture Notes in Computer Science

Volume Band

13872

Results 1-1 of 1 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Maderbacher, Benedikt ; Schupp, Stefan ; Bartocci, Ezio ; Bloem, Roderick ; Ničković, Dejan ; Könighofer, Bettina	Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties	Inproceedings Konferenzbeitrag	2023