On the verification of open distributed systems
- Författare
- Mads Dam
- (Mads Dam and Lars-åke Fredlund)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Swedish Institute of Computer Science (SICS) | 1997 | Sverige, Kista | 17 sidor. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Swedish Institute of Computer Science (SICS) | 1997 | Sverige, Kista | 17 sidor. |