A Saturation Method for the Modal Mu−Calculus over Pushdown Systems
M. Hague and C.−H. L. Ong
Details
| Journal |
Information and Computation |
| Note |
CONCUR special issue. |
| Year |
2010 |
Links
DOI (10.1016/j.ic.2010.12.004)
Related pages
|
People |