Papers selected from the 8th International Conference on Computer Aided Verification (CAV) the meeting took place from July 31 to August 3, 1996, in New Brunswick, New Jersey, as part of the First Federated Logic Conference (FLoC '96) ; [3 papers]

Bibliographische Detailangaben

Körperschaften:	CAV (VerfasserIn), Federated Logic Conference (BerichterstatterIn)
Weitere Verfasser:	Alur, Rajeev (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	San Diego, Calif. u.a. Academic Press 2001
Schriftenreihe:	Information and computation 164,2
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!