Concurrent omega-regular games. (2000)

by L de Alfaro, T Henzinger
Venue:In Logic in Computer Science,