Saturation Methods for Global Model−Checking Pushdown Systems
M. Hague
Note
Submitted Jan 2009‚ minor corrections May 2009‚ Clarification on page 164 Dec 2009. Error noted in Section 6.1‚ Jan 2011 (Corrected in FSTTCS 2010).
Year
2009
M. Hague