Testing equivalences for probabilistic processes
Ivan Christoff
Bok Engelsk 1990
Utgitt | Uppsala : Department of Computer Systems, Uppsala University , 1990
|
---|---|
Omfang | 139 s. : ill.
|
Opplysninger | Avhandling (fil. dr.) - Uppsala universitet, 1990
|
Emner |
Utgitt | Uppsala : Department of Computer Systems, Uppsala University , 1990
|
---|---|
Omfang | 139 s. : ill.
|
Opplysninger | Avhandling (fil. dr.) - Uppsala universitet, 1990
|
Emner |