Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 /

Bibliographic Details
Corporate Author: CAV (Conference) Center for discrete mathematics and theoretical computer science)
Other Authors: Clarke, E. M., 1945- (ed.), Kurshan, R. P., 1943- (ed.)
Format: Conference Proceeding Book
Language:English
Published: Providence : American Mathematical Society, 1991.
Series:DIMACS series in discrete mathematics and theoretical computer science, v. 3
DIMACS ;
Subjects:
Description
Item Description:DIMACS Workshop on Computer Aided Verification
Physical Description:xii, 628 p. : il. ; 27 cm.
ISBN:0821865943
ISSN:1052-1798 ;
v. 3