| Original language | English |
|---|
| Publication status | Published - 2007 |
|---|---|
| Externally published | Yes |
| MoE publication type | D4 Published development or research report or study |
Symbolic Step Encodings for Object Based Communicating State Machines
Jori Dubrovin, Tommi Junttila, Keijo Heljanko
Research output: Book/Report › Commissioned report