Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996 ; proceedings /

Bibliographic Details

Corporate Authors:	SpringerLink (Online service), CAV, International Conference on Computer Aided Verification
Other Authors:	Alur, Rajeev
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin [u.a.] : Springer, 1996.
Series:	Lecture notes in computer science ; 1102.
Subjects:	Verifikation Kongress New Brunswick <NJ, 1996> Electronic books.
Online Access:	Connect to the full text of this electronic book