TY  - BOOK
AU  - Berard, B, etal
TI  - Systems and software verification: model-checking techniques and tools    
SN  - 9783540415237
CY  - Berlin
ER  -