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