TCS / Research / Publications / Unfoldings -- A Partial-Order Approach to Model Checking
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

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

See www.springer.com ...

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.