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

Bibliotek som har denne