TY  - BOOK
AU  - Grumberg,Orna
AU  - Veith,Helmut
TI  - 25 years of model checking: history, achievements, perspectives 
T2  - Lecture notes in computer science,
SN  - 9783540698494 (pbk.)
AV  - QA76.76.V47 A23 2008
U1  - 005.1 Y32 23
PY  - 2008///
CY  - Berlin
PB  - Springer
KW  - Computer systems
KW  - Verification
KW  - Informatique
KW  - Structure logique
KW  - Génie logiciel
KW  - Model Checking
KW  - swd
KW  - Programming
KW  - Aufsatzsammlung
N1  - Includes bibliographical references and index
UR  - http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=016560863&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
ER  -