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

Artikler

• The Power of Reachability Testing for Timed Automata

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

  • PDF (English)