Computer aided verification : proceedings / 9th International Conference...; ed. Orna Grumberg
Corporate Author (Main)
International Conference [on] Computer Aided Verification, 9, Haifa, 1997
Secondary Author
Grumberg, Orna
Country
Alemanha.
Publication
Berlin : Springer, cop. 1997
Description
XI, 483 p. :
il. ;
24 cm
Series
Lecture notes in computer science , 1254
ISBN
3-540-63166-6
CDU
519.68
There are no comments for this item.