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]
No references recorded for this publication.
No citations of this publication recorded.