Sciweavers

62
Voted
REX
1991

Timed Transition Systems

15 years 9 days 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)