Nr. 23 (2000): RS-23 Characteristic Formulae for Timed Automata

Artikler

• Characteristic Formulae for Timed Automata

  Luca Aceto, Anna Ingólfsdóttir, Mikkel Lykke Pedersen, Jan Poulsen

  • PDF (English)