UPPAAL - a tool for automatic verification of real-time systems
- Författare
- Johan Bengtsson
- (Johan Bengtsson and Fredrik Larsson)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Institutionen för informationsteknologi, Univ. distributör | 1996 | Sverige, Uppsala | 64 sidor. |