Login / Signup

MightyL: A Compositional Translation from MITL to Timed Automata.

Thomas BrihayeGilles GeeraertsHsi-Ming HoBenjamin Monmege
Published in: CAV (1) (2017)
Keyphrases