01527nam 22003973 450 99667867710331620250904081900.03-031-94533-6(MiAaPQ)EBC32276227(Au-PeEL)EBL32276227(CKB)40861261600041(EXLCZ)994086126160004120250904d2025 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierRigorous State-Based Methods 11th International Conference, ABZ 2025, düsseldorf, Germany, June 10-13, 2025, Proceedings1st ed.Cham :Springer,2025.©2026.1 online resource (564 pages)Lecture Notes in Computer Science Series ;v.157283-031-94532-8 This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10-13, 2025.The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were carefully reviewed and selected from 33 submissions.Lecture Notes in Computer Science SeriesLeuschel Michael923653Ishikawa Fuyuki1849899MiAaPQMiAaPQMiAaPQBOOK996678677103316Rigorous State-Based Methods4442701UNISA