DMCA

Refining Interval Temporal Logic Specifications (1997)

Cached

Download Links

by Antonio Cau , Hussein Zedan
Venue:Transformation-Based Reactive Systems Development, number 1231 in LNCS
Citations:18 - 10 self