Compositional Specification of Timed Systems (Extended Abstract).

Joseph Sifakis, Sergio Yovine

Browse the full STACS paper archive.