Rectangular Hybrid Games (1999)

by Thomas A. Henzinger , Benjamin Horowitz , Rupak Majumdar
Venue:In CONCUR 99, LNCS 1664
Citations:30 - 4 self