25 years of model checking : history, achievements, perspectives /

Bibliographic Details
Other Authors: Grumberg, Orna, Veith, Helmut
Format: Book
Language:English
Published: Berlin : Springer, 2008.
Series:Lecture notes in computer science, 5000
Subjects:
Description
Physical Description:vi, 230 p. : il. ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:9783540698494
ISSN:0302-9743 ;