Sciweavers

LICS
1990
IEEE

Real-time Logics: Complexity and Expressiveness

14 years 4 months 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)