| Original language | English |
|---|---|
| Place of Publication | Aalborg |
| Publisher | |
| Publication status | Published - 1999 |
Abstraction-based verification of distributed systems
Henrik Ejersbo Jensen
Research output: PhD thesis
Henrik Ejersbo Jensen
Research output: PhD thesis
| Original language | English |
|---|---|
| Place of Publication | Aalborg |
| Publisher | |
| Publication status | Published - 1999 |