Winning Regions of Pushdown Parity Games: A Saturation Method

Matthew Hague, C.-H. Luke Ong

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original languageEnglish
Title of host publicationConcur: Concurrency Theory
Publication statusPublished - 2009
EventConcur: Concurrency Theory - Bologna, Italy
Duration: 1 Sept 2009 → 4 Sept 2009

Conference

ConferenceConcur: Concurrency Theory
Country/TerritoryItaly
CityBologna
Period1/09/09 → 4/09/09

Cite this