A New Modality for Almost Everywhere Properties in Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie. A New Modality for Almost Everywhere Properties in Timed Automata. In Martín Abadi, Luca de Alfaro, editors, CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings. Volume 3653 of Lecture Notes in Computer Science, pages 110-124, Springer, 2005. [doi]

This author has not been identified. Look up 'Houda Bel Mokadem' in GoogleThis author has not been identified. Look up 'Béatrice Bérard' in GoogleThis author has not been identified. Look up 'Patricia Bouyer' in GoogleThis author has not been identified. Look up 'François Laroussinie' in Google

runs on WebDSL