| Title | The SPIN Model Checker: Primer and Reference Manual |
|---|---|
| Author | Gerard J. Holzmann |
| Year | 2003 |
| Edition | 1 |
| Volume | |
| Series | |
| Publisher | Addison-Wesley Professional |
| City | |
| Language | English |
Size: 1.33MB | Pages: |
LLC: N/A | DDC: 620/.001/171
Related Books
- No Related Books!