Sciweavers

ARTS
1997
Springer

Refining Interval Temporal Logic Specifications

14 years 3 months ago
Refining Interval Temporal Logic Specifications
Antonio Cau, Hussein Zedan
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1997
Where ARTS
Authors Antonio Cau, Hussein Zedan
Comments (0)