Compositional Invariant Generation for Timed Systems.

Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz

Browse the full TACAS paper archive.