| Title | Integrating Decision Procedures for Temporal Verification |
|---|---|
| Author | Nikolaj Skallerud Bjorner |
| Year | 1999 |
| Edition | |
| Volume | |
| Series | |
| Publisher | Stanford University |
| City | |
| Language | English |
Size: 1.07MB | Pages: 169 |
LLC: N/A | DDC:
Related Books
- No Related Books!