Verification of a Large Discrete System using Algebric Methods
- Författare
- Johan Gunnarsson
- (Johan Gunnarsson, Jonas Plantin, Roger Germundsson.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Linköping University Electronic Press | 1996 | Sverige, Linköping | 6 sidor. |