Extended Computation Tree Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte. Extended Computation Tree Logic. In Christian G. Fermüller, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings. Volume 6397 of Lecture Notes in Computer Science, pages 67-81, Springer, 2010. [doi]

This author has not been identified. Look up 'Roland Axelsson' in GoogleThis author has not been identified. Look up 'Matthew Hague' in GoogleThis author has not been identified. Look up 'Stephan Kreutzer' in GoogleThis author has not been identified. Look up 'Martin Lange' in GoogleThis author has not been identified. Look up 'Markus Latte' in Google

runs on WebDSL