Sciweavers

STOC
1993
ACM

Parametric real-time reasoning

14 years 3 months ago
Parametric real-time reasoning
Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1993
Where STOC
Authors Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi
Comments (0)