DMCA

Static guard analysis in timed automata verification (2003)

by Gerd Behrmann , Patricia Bouyer , Emmanuel Fleury , Kim G. Larsen
Venue:IN TACAS
Citations:26 - 8 self