DMCA

Machine-checking the Timed Interval Calculus (2002)

Cached

Download Links

by Jeremy Dawson And , Jeremy E. Dawson , Rajeev Gore
Venue:In AI’02