TY  - BOOK
AU  - Berard, B.
AU  - Bidoit, M.
AU  - Finkel, A.
AU  - Laroussinie, F.
TI  - Systems and software verification: Model-Checking Techniques and Tools
SN  - 9783540415237
U1  - 005.3 
PY  - 2001///
CY  - Berlin
PB  - Springer
ER  -