On verification of switched systems using abstractions
- Författare
- Valur Einarsson
- (Valur Einarsson.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Univ. | 1998 | Sverige, Linköping | 98 sidor. ill. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Univ. | 1998 | Sverige, Linköping | 98 sidor. ill. |