TY  - BOOK
AU  - Bérard, Beatrice
TI  - Systems and Software Verification: Model-Checking Techniques and Tools
SN  - 3540415238 (alk. paper)
U1  - 005.1/4 21
PY  - 2001///
CY  - Berlin, New York
PB  - Springer
UR  - http://www.loc.gov/catdir/enhancements/fy0816/2001032056-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0816/2001032056-t.html
ER  -