Computer-aided verification [selection of papers presented at the Fifth Conference on Computer-Aided Verification (CAV'93), held in Elounda, Greece, from June 28 - July 1, 1993

Bibliographische Detailangaben

Körperschaft:	CAV (BerichterstatterIn)
Weitere Verfasser:	Courcoubetis, Costas (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Boston, Mass. u.a. Kluwer 1997
Schriftenreihe:	Formal methods in system design 11,2
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!