Computer aided verification: fourth international workshop, cav '92, montreal, canada, june 29 - july 1, 1992. proceedings: 4th: international workshop, cav '92, montreal, canada, june 29-july 1, 1992 - proceedings
Auteur :
Bochmann, Gregor V.
ISBN :
9783540564966
Date de publication :
30 mars 1993
Dimensions :
23,3 x 15,5 x 2,2 cm
Poids :
1370 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume contains the proceedings of a workshop which brought together researchers interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. It compares verification methods and tools that assist the applications designer.