| Original language | English |
|---|---|
| Supervisors/Advisors |
|
| Publication status | Published - 2008 |
Requirements Engineering and Efficient Verification of PSL Properties
Research output: Types of Thesis › Doctoral Thesis
Research output: Types of Thesis › Doctoral Thesis
| Original language | English |
|---|---|
| Supervisors/Advisors |
|
| Publication status | Published - 2008 |