Machine-checking the timed interval calculus
Loading...
Date
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