| Alkuperäiskieli | Englanti |
|---|---|
| Sivut | 193-218 |
| Julkaisu | Nordic Journal of Computing |
| Vuosikerta | 8 |
| Numero | 2 |
| Tila | Julkaistu - 2001 |
| OKM-julkaisutyyppi | A1 Julkaistu artikkeli, soviteltu |
Structuring and Verifying Distributed Algorithms
Kaisa Sere, Marina Waldén
Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu