Alkuperäiskieli | Ei tiedossa |
---|---|
Kustantaja | Turku Centre for Computer Science (TUCS) |
Sivumäärä | 20 |
ISBN (painettu) | 952-12-0480-X |
Tila | Julkaistu - 1999 |
OKM-julkaisutyyppi | D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset |
The Production Cell: An Exercise in the Formal Verification of a UML Model
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti