TY  - BOOK
AU  - Berard, B
AU  - Berard, BBidoit, M, Finkel, A, Laroussinie, F
TI  - Systems and software verification: model-checking techniques and tools
SN  - 9783540415237
U1  - 005.3 BER/BID 
PY  - 2001///
CY  - New York
PB  - Springer
KW  - COMPUTER SCIENCE AND ENGINEERING
ER  -