Saturation Methods for Global Model‐Checking Pushdown Systems - Research

Home > Computer Science home > Research > Profile > Publications > Saturation Methods for Global Model‐Checking Pushdown Systems

Saturation Methods for Global Model‐Checking Pushdown Systems. / Hague, Matthew.

2009.

Research output: Thesis › Doctoral Thesis

Published

Original language	English
Qualification	Ph.D.
Awarding Institution	University of Oxford
Supervisors/Advisors	Ong, C.-H. Luke, Supervisor, External person
Award date	1 Apr 2009
Publication status	Published - 2009

ID: 15219617

Research

Profile

Royal Holloway, University of London
Egham,
Surrey,
TW20 0EX

T: +44 (0)1784 434455 T: +44 (0)1784 434455