Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Model checking software : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings / Georgiana Caltais, Christian Schilling, editors. by International SPIN Workshop (29th : 2023 : Paris, France) Caltais, Georgiana [editor.] Schilling, Christian [editor.] Series: Lecture notes in computer science ; 13872. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2023 Other title: SPIN 2023 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	AI verification : first International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, proceedings / Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling, editors. by International Symposium on AI Verification (1st : 2024 : Montréal, Québec) Avni, Guy [editor.] Giacobbe, Mirco [editor.] Johnson, Taylor T [editor.] Katz, Guy [editor.] Lukina, Anna [editor.] Narodytska, Nina [editor.] Schilling, Christian [editor.] Series: Lecture notes in computer science ; 14846. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2024 Other title: SAIV 2024 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search