TY  - BOOK
AU  - Esparza, Javier 
AU  - Heljanko, Keijo
TI  - Unfolding : a partial-order approach to model checking 
T2  - Monographs in theoretical computer science, An EATCS series 
SN  - 9783540774259
PY  - 2008///
CY  - Berlin
PB  - Springer
KW  - Computer software-Testing
KW  - Computer systems-Varification
KW  - Computer science
ER  -