Matthew Hague – Research output — Royal Holloway Research Portal

Phone+44 1784 443673
EmailMatthew.Haguerhul.acuk

TW20 0EX

30 Conference contribution
6 Article
2 Paper
1 Internet publication
More
- 1 Doctoral Thesis
- 1 Master's Thesis

1 results

Filter

2009

Saturation Methods for Global Model‐Checking Pushdown Systems
Hague, M., 2009
Research output: Thesis › Doctoral Thesis