Sciweavers

LICS
1990
IEEE

Real-time Logics: Complexity and Expressiveness

15 years 27 days ago
Real-time Logics: Complexity and Expressiveness
Rajeev Alur, Thomas A. Henzinger
Added 11 Aug 2010
Updated 11 Aug 2010
Type Conference
Year 1990
Where LICS
Authors Rajeev Alur, Thomas A. Henzinger
Comments (0)