| Original language | English |
|---|
| Place of Publication | Aalborg |
|---|---|
| Publisher | Aalborg Universitetsforlag |
| Publication status | Published - 1999 |
| Series | R : Department of Computer Science, Aalborg University |
|---|---|
| Number | 99-5005 |
| ISSN | 1397-8640 |
Abstraction-based verification of distributed systems
Henrik Ejersbo Jensen
Research output: Book/Report › Ph.D. thesis