Winning Regions of Pushdown Parity Games: A Saturation Method. / Hague, Matthew; Ong, C.-H. Luke.
Concur: Concurrency Theory. 2009.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
| Original language | English |
|---|---|
| Title of host publication | Concur: Concurrency Theory |
| Publication status | Published - 2009 |
| Event | Concur: Concurrency Theory - Bologna, Italy Duration: 1 Sep 2009 → 4 Sep 2009 |
Conference
| Conference | Concur: Concurrency Theory |
|---|---|
| Country | Italy |
| City | Bologna |
| Period | 1/09/09 → 4/09/09 |
Research outputs
A saturation method for the modal μ-calculus over pushdown systems
Research output: Contribution to journal › Article › peer-review
ID: 25573166