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 proceedingConference contribution

Published
Original languageEnglish
Title of host publicationConcur: Concurrency Theory
Publication statusPublished - 2009
EventConcur: Concurrency Theory - Bologna, Italy
Duration: 1 Sep 20094 Sep 2009

Conference

ConferenceConcur: Concurrency Theory
CountryItaly
CityBologna
Period1/09/094/09/09

Research outputs

ID: 25573166