No. 47 (1998): RS-47 Efficient Timed Reachability Analysis using Clock Difference Diagrams

Articles

• Efficient Timed Reachability Analysis using Clock Difference Diagrams

  Gerd Behrmann, Kim G. Larsen, Justin Pearson, Carsten Weise, Wang Yi

  • PDF