I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Unfoldings - A Partial-Order Approach to Model Checking


Javier Esparza and Keijo Heljanko. Unfoldings - a partial-order approach to model checking. EATCS Monographs in Theoretical Computer Science. Springer-Verlag, 2008.

Suggested BibTeX entry:

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

PDF (961 kB)
See www.springer.com ...
Author created final book draft made available through our publishing agreement with Springer. Can not be made available on any other Web sites than the author homepages. The book can be purchased from the publisher. If you are interested, follow the link above.