A saturation method for the modal μ-calculus over pushdown systems

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	799–821
Journal	Information and Computation
Volume	209
Issue number	5
Early online date	15 Dec 2010
DOIs	https://doi.org/10.1016/j.ic.2010.12.004
Publication status	Published - May 2011

Access to Document

Analysing Mu‐Calculus Properties of Pushdown Systems (Tool Presentation)
Hague, M. & Ong, C.-H. L., 2010, SPIN.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Winning Regions of Pushdown Parity Games: A Saturation Method
Hague, M. & Ong, C.-H. L., 2009, Concur: Concurrency Theory.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

@article{8a6807df44824bb09f4830ca5ec1c362,

title = "A saturation method for the modal μ-calculus over pushdown systems",

author = "Matthew Hague and C.-H.L. Ong",

year = "2011",

month = may,

doi = "10.1016/j.ic.2010.12.004",

language = "English",

volume = "209",

pages = "799–821",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier Inc.",

number = "5",

}