From ATP to Timed Graphs and Hybrid Systems

Xavier Nicollin, Joseph Sifakis, Sergio Yovine. From ATP to Timed Graphs and Hybrid Systems. Acta Informatica, 30(2):181-202, 1993.

Abstract

Abstract is missing.