@book{EspHel:Unfoldings,
author = {Javier Esparza and Keijo Heljanko},
month = {March},
pages = {172},
publisher = {Springer-Verlag},
series = {EATCS Monographs in Theoretical Computer Science},
title = {Unfoldings -- A Partial-Order Approach to Model Checking},
year = {2008},
}