Options
Title
Computer aided verification
Title Supplement
8th international conference ; proceedings / CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
1996
Series
Lecture Notes in Computer Science; 1102
ISBN
3-540-61474-5