| Originalspråk | engelska |
|---|
| Status | Publicerad - 2007 |
|---|---|
| Externt publicerad | Ja |
| MoE-publikationstyp | D4 Publicerad utvecklings- eller forskningsrapport eller studie |
Symbolic Step Encodings for Object Based Communicating State Machines
Jori Dubrovin, Tommi Junttila, Keijo Heljanko
Forskningsoutput: Bok/rapport › Beställd rapport