Cover Image

Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings /

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26–27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were or...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Caltais, Georgiana (Editor), Schilling, Christian (Editor)
Format: Electronic eBook
Language:English
Published: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edition:1st ed. 2023.
Series:Lecture Notes in Computer Science, 13872
Subjects:
Control engineering.
Robotics.
Automation.
Software engineering.
Artificial intelligence.
Computer engineering.
Computer networks .
Control, Robotics, Automation.
Software Engineering.
Artificial Intelligence.
Computer Engineering and Networks.
Online Access:https://doi.org/10.1007/978-3-031-32157-3
Tags: Add Tag
No Tags, Be the first to tag this record!

System Under Maintenance

Our Library Management System is currently under maintenance.

Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance:

library@juniv.edu

Internet

https://doi.org/10.1007/978-3-031-32157-3

Similar Items