|aComputer aided verification|h[electronic resource] :|b12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ;proceedings /|cE. Allen Emerson, A. Prasad Sistla (eds.).
260
|aBerlin ;|aLondon :|bSpringer,|cc2000.
300
|ax, 582 p. :|bdigital ;|c24 cm.
440
0
|aLecture notes in computer science,|x0302-9743 ;|v1855
650
0
|aComputer software|xVerification|vCongresses.
650
0
|aIntegrated circuits|xVerification|vCongresses.
700
1
|aEmerson, E. Allen.
700
1
|aSistla, A. Prasad.
710
2
|aSpringerLink (Online service)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/10722167
950
|aComputer Science (Lecture Notes in Computer Science)