Nr. 3 (2001): RS-3 Minimum-Cost Reachability for Priced Timed Automata

Artikler

• Minimum-Cost Reachability for Priced Timed Automata

  Gerd Behrmann, Ansgar Fehnker, Thomas S. Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager

  • PDF (English)