Vopp - a verification tool for probabilistic processes

Författare
Per-Erik Martin
Språk
Engelska
Förlag År Ort Om boken ISBN
Univ. 1993 Sverige, Uppsala 73 sidor.