A verification-oriented theory of data in labelled transition systems
Ilkka Kokkarinen
Bok Engelsk 1998
| Utgitt | Tampere : Tampereen teknillinen korkeakoulu , 1998
|
|---|---|
| Omfang | VI, 105 s. : fig.
|
| Opplysninger | Avhandling (tekn. toht.) - Tampereen teknillinen korkeakoulu, 1998
|
| Emner | |
| ISBN | 952150028X
|
