Saturation Methods for Global Model‐Checking Pushdown Systems

Research output: ThesisDoctoral Thesis

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

Cite this