From Timed Automata to Logic -- and Back (1995)

by Francois Laroussinie , Kim G. Larsen , Carsten Weise
Venue: MFCS’95, LNCS 969
Citations:60 - 11 self