Skip navigation
The Australian National University

Machine-checking the timed interval calculus

Citation

Dawson, J & Gore, R 2002, 'Machine-checking the timed interval calculus', Australian Joint Conference on Artificial Intelligence (AI 2002), ed. B. McKay, J. Slaney, Springer, Berlin, Germany, pp. 95-106.

Year

2002

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  25 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers