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
Collections
Source
AI-2002: Advances in Artificial Intelligence
Type
Conference paper