OXFORD UNIVERSITY COMPUTING LABORATORY

Winning Regions of Pushdown Parity Games: A Saturation Method

M. Hague and C.-H. L. Ong

info

book title

CONCUR

note

To appear.

year

2009

links

BibTeX

Download (pdf)

related pages

people

Random Image
Random Image
Random Image