An Experimental Comparison ... - Researchers

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

Emeritus Professor Rajeev Gore

Field of Research

Database Management

Updated: 19 April 2024 / Responsible Officer: Director (Research Services Division) / Page Contact: Researchers