Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science: An Eatcs)

by Javier Esparza and Keijo Heljanko

0 ratings • 0 reviews • 0 shelved
Book cover for Unfoldings: A Partial-Order Approach to Model Checking
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN10 1281241962
  • ISBN13 9781281241962
  • Publish Date 1 January 2008
  • Publish Status Active
  • Out of Print 25 March 2015
  • Publish Country US
  • Imprint Springer
  • Pages 169
  • Language English