Principles of model checking
By: Baier, Christel.
Contributor(s): Katoen, Joost-Pieter.
Material type:
BookPublisher: Cambridge: MIT Press, 2008Description: xvii, 975 p.; ill.: 26 cm.ISBN: 9780262026499 .Subject(s): System Verification | Concurrent | Linear | Tree Logic | TCTL | ROBDDDDC classification: 004.24
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Course Reserve | DAU | 004.24 BAI (Browse shelf) | Not for loan | 019864 |
There are no comments for this item.