Verification of context-free timed systems using linear hybrid observers (0)

by A Bouajjani, R Echahed, R Robbana
Venue:CAV 94: Computer-aided Verification, Lecture