Computer aided verification
12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings
Gespeichert in:
Verfasser / Beitragende:
E. Allen Emerson, A. Prasad Sistla, (eds.)
Ort, Verlag, Jahr:
Berlin [etc.] :
Springer,
2000
Beschreibung:
X, 582 p. : ill. ; 24 cm
Format:
Buch (Kongress)