Original language | English |
---|---|
Qualification | PhD |
Awarding Institution |
|
Supervisors/Advisors |
|
Place of Publication | Vrije Universiteit |
Publication status | Published - 2004 |
Formal Verification of Distributed Systems
J. Pang
Research output: PhD Thesis › PhD-Thesis – Research external, graduation internal
139
Downloads
(Pure)