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

@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",

}