Verifying temporal properties in discrete event systems
- Författare
- Roger Germundsson
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
1995 | Sverige | 3 sidor. | ||
Univ. | 1995 | Sverige, Linköping | 2 sidor. |
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
1995 | Sverige | 3 sidor. | ||
Univ. | 1995 | Sverige, Linköping | 2 sidor. |