DMCA

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:90 - 25 self