| Original language | English |
|---|
| Publication status | Published - 2004 |
|---|---|
| Externally published | Yes |
| MoE publication type | D4 Published development or research report or study |
Fields of Science
- distributed systems
- synthesis
Complexity Results for Checking Distributed Implementability
Keijo Heljanko, Alin Stefanescu
Research output: Book/Report › Commissioned report