| Original language | Undefined |
|---|---|
| Title of host publication | Proceedings of the 2nd SPIN Workshop |
| Place of Publication | Rutgers University, New Jersey |
| Pages | - |
| Number of pages | 9 |
| Publication status | Published - 5 Aug 1996 |
Keywords
- METIS-120052
The Application of Promela and SPIN in the BOS Project
W.T.M. Kars
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review