Infinite Runs in Weighted Timed Automata with Energy Constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba. Infinite Runs in Weighted Timed Automata with Energy Constraints. In Franck Cassez, Claude Jard, editors, Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings. Volume 5215 of Lecture Notes in Computer Science, pages 33-47, Springer, 2008. [doi]

This author has not been identified. Look up 'Patricia Bouyer' in GoogleThis author has not been identified. Look up 'Ulrich Fahrenberg' in GoogleThis author has not been identified. Look up 'Kim Guldstrand Larsen' in GoogleThis author has not been identified. Look up 'Nicolas Markey' in GoogleThis author has not been identified. Look up 'Jirí Srba' in Google

runs on WebDSL