Datum prijs | 26 nov. 2018 |
---|---|
Originele taal | Engels |
Begeleider | Jan Friso Groote (Afstudeerdocent 1) |
A complete axiomatisation for probabilistic trace equivalence
Scriptie/Masterproef: Master
Scriptie/Masterproef: Master
Datum prijs | 26 nov. 2018 |
---|---|
Originele taal | Engels |
Begeleider | Jan Friso Groote (Afstudeerdocent 1) |