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

2009.

Research output: ThesisDoctoral Thesis

Published
Original languageEnglish
QualificationPh.D.
Awarding Institution
  • University of Oxford
Supervisors/Advisors
  • Ong, C.-H. Luke, Supervisor, External person
Award date1 Apr 2009
Publication statusPublished - 2009

ID: 15219617