Rectangular hybrid games (1999)

by T Henzinger, B Horowitz, R Majumdar
Venue:In Proc. of the 10th International Conference on Concurrency Theory, CONCUR’99, LNCS 1664