Skip navigation
The Australian National University

An Experimental Comparison of Theorem Provers for CTL

Citation

Gore, R, Thomson, J & Widmann, F 2011, 'An Experimental Comparison of Theorem Provers for CTL', International Symposium on Temporal Representation and Reasoning (TIME 2011), ed. Carlo Combi, Martin Leucker and Frank Wolter, IEEE Computer Society, Los Alamitos USA, pp. 49-56.

Year

2011

ANU Authors

Field of Research

  • Database Management

Updated:  20 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers