Infinite-state games with finitary conditions (0)

by K Chatterjee, N Fijalkow
Venue:in CSL, 2013