The Spin Model Checker: Primer And Reference . . .
| Use attributes for filter ! | |
| Originally published | 2004 |
|---|---|
| Authors | Gerard J. Holzmann |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2175744 |
| Use attributes for filter ! | |
| Originally published | 2004 |
|---|---|
| Authors | Gerard J. Holzmann |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2175744 |