Formal verification of a leader election protocol in process algebra
- Författare
- Lars-Åke Fredlund
- (Lars-Åke Fredlund, Jan Friso Groote and Henri Korver)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 1995 | Sverige | 23 sidor. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 1995 | Sverige | 23 sidor. |