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

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