Saturation Methods for Global Model−Checking Pushdown Systems
M. Hague
Details
| 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 |
Links
Related pages
|
People |