Sciweavers

2585 search results - page 56 / 517
» computer 1999
Sort
View
138
Voted
ARTS
1997
Springer
15 years 8 months ago
Refining Interval Temporal Logic Specifications
Antonio Cau, Hussein Zedan