@article{1467829,
      recid = {1467829},
      author = {Caltais, Georgiana, and Schilling, Christian,},
      title = {Model checking software : 29th International Symposium,  SPIN 2023, Paris, France, April 26-27, 2023, Proceedings /.  International SPIN Workshop},
      pages = {1 online resource (x, 199 pages) :},
      note = {Includes author index.},
      abstract = {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 organized in topical sections as follows: binary  decision diagrams, concurrency, testing, synthesis,  explicit-state model checking.},
      url = {http://library.usi.edu/record/1467829},
      doi = {https://doi.org/10.1007/978-3-031-32157-3},
}