01618nam 2200469 450 99648566710331620230114050204.03-031-15077-5(MiAaPQ)EBC7076813(Au-PeEL)EBL7076813(CKB)24735739200041(PPN)264191447(EXLCZ)992473573920004120230114d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierModel checking software 28th International Symposium, SPIN 2022, virtual event, May 21, 2022, proceedings /Owolabi Legunsen and Grigore Rosu, editorsCham, Switzerland :Springer Nature Switzerland AG,[2022]©20221 online resource (161 pages)Lecture notes in computer science ;13255Print version: Legunsen, Owolabi Model Checking Software Cham : Springer International Publishing AG,c2022 9783031150760 Lecture notes in computer science ;13255.Computer softwareVerificationCongressesSpin (Computer program language)Computer simulationComputer softwareVerificationSpin (Computer program language)Computer simulation.003.3Roşu GrigoreLegunsen OwolabiMiAaPQMiAaPQMiAaPQBOOK996485667103316Model Checking Software771961UNISA