Original language | English |
---|---|
Qualification | Ph.D. |
Awarding Institution |
|
Supervisors/Advisors |
|
Award date | 1 Apr 2009 |
Publication status | Published - 2009 |
Saturation Methods for Global Model‐Checking Pushdown Systems
Research output: Thesis › Doctoral Thesis
Research output: Thesis › Doctoral Thesis
Original language | English |
---|---|
Qualification | Ph.D. |
Awarding Institution |
|
Supervisors/Advisors |
|
Award date | 1 Apr 2009 |
Publication status | Published - 2009 |