An Experimental Comparison of Theorem Provers for CTL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rajeev Goré, Jimmy Thomson, Florian Widmann. An Experimental Comparison of Theorem Provers for CTL. In Carlo Combi, Martin Leucker, Frank Wolter, editors, Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011. pages 49-56, IEEE, 2011. [doi]

This author has not been identified. Look up 'Rajeev Goré' in GoogleThis author has not been identified. Look up 'Jimmy Thomson' in GoogleThis author has not been identified. Look up 'Florian Widmann' in Google

runs on WebDSL