@book{
    EspHel:Unfoldings,
    author = "Esparza, Javier and Heljanko, Keijo",
    publisher = "Springer-Verlag",
    isbn = "978-3-540-77425-9",
    title = "Unfoldings -- A Partial-Order Approach to Model Checking",
    url = "http://www.springer.com/978-3-540-77425-9",
    series = "EATCS Monographs in Theoretical Computer Science",
    corerank = "NA",
    month = "March",
    responsibleauthor = "Heljanko, Keijo",
    juforank = "2",
    flags = "DC",
    year = "2008",
    impactfactor = "F1",
    pages = "172"
}