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

Matthew Hague, C.-H.L. Ong

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)799–821
JournalInformation and Computation
Volume209
Issue number5
Early online date15 Dec 2010
DOIs
Publication statusPublished - May 2011

Cite this