TY  - BOOK
AU  - Grumberg Orna 
TI  - 25 Years of Model Checking History Achievements,Perspectives
SN  - 978354069849
U1  -  025.33GRU 
CY  - New York 
PB  - Springer 
KW  - Model Checking
ER  -