A complete axiomatisation for probabilistic trace equivalence

Scriptie/Masterproef: Master

Datum prijs26 nov. 2018
Originele taalEngels
BegeleiderJan Friso Groote (Afstudeerdocent 1)

Citeer dit

'