Login / Signup

Compositional Specification of Timed Systems (Extended Abstract).

Joseph SifakisSergio Yovine
Published in: STACS (1996)
Keyphrases