Cover Image

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

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Grumberg, Orna, Veith, Helmut
Format: eBook
Language:English
Published: Berlin : Springer, 2008.
Series:Lecture notes in computer science. Festschrift.
Lecture notes in computer science. 5000.
Subjects:
Computer systems > Verification.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:vi, 230 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540698507
9783540698500
ISSN:0302-9743 ;
DOI:10.1007/978-3-540-69850-0