|aModel checking software|h[electronic resource] :|b9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings /|cDragan Bosnacki, Stefan Leue [eds.].
260
|aBerlin ;|aNew York :|bSpringer,|cc2002.
300
|ax, 257 p. :|bill., digital ;|c24 cm.
440
0
|aLecture notes in computer science,|x0302-9743 ;|v2318
630
00
|aSPIN (Computer file)|vCongresses.
650
0
|aComputer software|xVerification|vCongresses.
700
1
|aBosnacki, Dragan.
700
1
|aLeue, Stefan.
710
2
|aSpringerLink (Online service)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/3-540-46017-9
950
|aComputer Science (Lecture Notes in Computer Science)