Unfolding a partial-order approach to model checking Javier Esparza and Keijo Heljanko
Series: Monographs in theoretical computer science, An EATCS seriesPublication details: Berlin Springer 2008Description: xii,169pISBN:- 9783540774259
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
University Library General Stacks | 004.416.2 ESP (Browse shelf(Opens below)) | Available | 00063153 |
There are no comments on this title.