Sciweavers

REX
1991

Timed Transition Systems

14 years 4 months ago
Timed Transition Systems
Thomas A. Henzinger, Zohar Manna, Amir Pnueli
Added 27 Aug 2010
Updated 27 Aug 2010
Type Conference
Year 1991
Where REX
Authors Thomas A. Henzinger, Zohar Manna, Amir Pnueli
Comments (0)