Sciweavers

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