| Alkuperäiskieli | englanti |
|---|
| Tila | Julkaistu - 2007 |
|---|---|
| Julkaistu ulkoisesti | Kyllä |
| OKM-julkaisutyyppi | D4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys |
Symbolic Step Encodings for Object Based Communicating State Machines
Jori Dubrovin, Tommi Junttila, Keijo Heljanko
Tutkimustuotos: Kirja/raportti › Tutkimusraportti