LEADER 01618nam  2200469   450 
001 996485667103316
005 20230114050204.0
010   $a3-031-15077-5
035   $a(MiAaPQ)EBC7076813
035   $a(Au-PeEL)EBL7076813
035   $a(CKB)24735739200041
035   $a(PPN)264191447
035   $a(EXLCZ)9924735739200041
100   $a20230114d2022      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aModel checking software $e28th International Symposium, SPIN 2022, virtual event, May 21, 2022, proceedings /$fOwolabi Legunsen and Grigore Rosu, editors
210  1$aCham, Switzerland :$cSpringer Nature Switzerland AG,$d[2022]
210  4$dİ2022
215   $a1 online resource (161 pages)
225 1 $aLecture notes in computer science ;$v13255
311 08$aPrint version: Legunsen, Owolabi Model Checking Software Cham : Springer International Publishing AG,c2022 9783031150760 
410  0$aLecture notes in computer science ;$v13255.
606   $aComputer software$xVerification$vCongresses
606   $aSpin (Computer program language)
606   $aComputer simulation
615  0$aComputer software$xVerification
615  0$aSpin (Computer program language)
615  0$aComputer simulation.
676   $a003.3
702   $aRos?u$b Grigore
702   $aLegunsen$b Owolabi
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996485667103316
996   $aModel Checking Software$9771961
997   $aUNISA