Extended Directed Search for Probabilistic Timed Reachability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Husain Aljazzar, Stefan Leue. Extended Directed Search for Probabilistic Timed Reachability. In Eugene Asarin, Patricia Bouyer, editors, Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings. Volume 4202 of Lecture Notes in Computer Science, pages 33-51, Springer, 2006. [doi]

This author has not been identified. Look up 'Husain Aljazzar' in GoogleThis author has not been identified. Look up 'Stefan Leue' in Google

runs on WebDSL