No. 48 (1998): RS-48 The Power of Reachability Testing for Timed Automata

Articles

• The Power of Reachability Testing for Timed Automata

  Luca Aceto, Patricia Bouyer, Augusto Burgueno, Kim G. Larsen

  • PDF