Machine-checking the timed interval calculus

Date

2002

Authors

Dawson, Jeremy
Gore, Rajeev

Journal Title

Journal ISSN

Volume Title

Publisher

Springer

Abstract

Description

Keywords

Citation

URI

http://hdl.handle.net/1885/92298

Collections

ANU Research Publications

Source

AI-2002: Advances in Artificial Intelligence

Type

Conference paper

Book Title

Entity type

Access Statement

License Rights

DOI

Restricted until

DSpace software copyright © 2002-2026 LYRASIS