An interactive proof system for test congruence between processes

Författare
Nils-Olof Forsgren
Genre
theses
Språk
Engelska
Förlag År Ort Om boken ISBN
Luleå tekniska universitet 1988 Sverige, Luleå
1988 Sverige, Luleå 60 sidor.