Unfoldings – A Partial-Order Approach to Model Checking

Reference:

Javier Esparza and Keijo Heljanko. Unfoldings – A Partial-Order Approach to Model Checking. EATCS Monographs in Theoretical Computer Science. Springer-Verlag, March 2008.

Suggested BibTeX entry:

@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},
}