TY  - BOOK
AU  - Esparza, Javier
AU  - Heljanko, Keijo
TI  - Unfoldings: a partial-order approach to model checking
SN  - 9783540774259
CY  - Berlin
ER  -