Reactive systems in physical environments - compositional modelling and framework for verification
- Författare
- Simin Nadjm-Tehrani
- (Simin Nadjm-Tehrani.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Univ., LJ foto & montage/Roland offset | 1994 | Sverige, Linköping, Linköping | [4], viii, 178 sidor. diagr. 24 cm |