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
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 | Concur: Concurrency Theory |
---|---|
Country | Italy |
City | Bologna |
Period | 1/09/09 → 4/09/09 |
Research output: Contribution to journal › Article › peer-review
ID: 25573166