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