Cited By
View all- Huth MKuo JPiterman N(2015)Static Analysis of Parity GamesEssays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays on Semantics, Logics, and Calculi - Volume 956010.1007/978-3-319-27810-0_8(159-177)Online publication date: 1-Oct-2015