LEADER 03002nam  22006735  450 
001 996465970003316
005 20230406041008.0
010   $a3-642-22306-0
024 7 $a10.1007/978-3-642-22306-8
035   $a(CKB)2550000000040748
035   $a(SSID)ssj0000539197
035   $a(PQKBManifestationID)11347555
035   $a(PQKBTitleCode)TC0000539197
035   $a(PQKBWorkID)10570930
035   $a(PQKB)11199973
035   $a(DE-He213)978-3-642-22306-8
035   $a(MiAaPQ)EBC3066946
035   $a(PPN)156310244
035   $a(EXLCZ)992550000000040748
100   $a20110707d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aModel Checking Software$b[electronic resource] $e18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings /$fedited by Alex Groce, Madanlal Musuvathi
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (X, 195 p. 60 illus., 25 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6823
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-22305-2 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6823
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer science
606   $aMachine theory
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aComputer science.
615  0$aMachine theory.
615 14$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
676   $a005.1
702   $aGroce$b Alex$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMusuvathi$b Madanlal$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational SPIN Workshop
906   $aBOOK
912   $a996465970003316
996   $aModel Checking Software$9771961
997   $aUNISA