Fairness properties in process algebra - with applications in communication protocol verification
- Författare
- Joachim Parrow
- (Joachim Parrow.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Direkt offset, Nyström & co. | 1985 | Sverige, Uppsala, Uppsala | 176 sidor. 23 cm |