| Originalspråk | Engelska |
|---|---|
| Titel på värdpublikation | Proceedings of the 5th Nordic Workshop on Program Correctness (NWPC'93) |
| Utgivningsort | Turku, Finland |
| Sidor | 161-172 |
| Status | Publicerad - 1994 |
| MoE-publikationstyp | B3 Ej refererad artikel i konferenshandlingar |
Verification of a distributed algorithm due to Tajibnapis
Kaisa Sere, Marina Walden
Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig