Unfoldings [electronic resource] : A Partial-Order Approach to Model Checking / by Javier Esparza, Keijo Heljanko.
Material type: Computer fileSeries: Monographs in Theoretical Computer Science An EATCS SeriesPublication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.Description: v.: digitalISBN:- 9783540774266
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.