Efficient on-the-fly algorithms for the analysis of timed games (2005)

by Franck Cassez , Alexandre David , Emmanuel Fleury , Kim G. Larsen , Didier Lime
Venue:IN CONCUR 05, LNCS 3653
Citations:49 - 14 self