| Original language | English |
|---|---|
| Publication status | Published - 2011 |
Specification theories for probabilistic systems
Mikkel Larsen Pedersen
Research output: PhD thesis
1788
Downloads
(Pure)
Mikkel Larsen Pedersen
Research output: PhD thesis
| Original language | English |
|---|---|
| Publication status | Published - 2011 |