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

Research output

Research output per year 2009 2009 2010 2010

• 2 Conference contribution

Research output per year

Research output per year

Search results

• 2010

  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
• 2009

  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