Timed Temporal Logics for Abstracting Transient States.

Houda Bel Mokadem, Batrice Brard, Patricia Bouyer, Franois Laroussinie

Browse the full ATVA paper archive.