Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

REX
1991

favoriteEmaildiscussreport

89views Logical Reasoning» more REX 1991»

Timed Transition Systems

13 years 8 months ago

Timed Transition Systems

Download www.comp.nus.edu.sg

Thomas A. Henzinger, Zohar Manna, Amir Pnueli

Real-time Traffic

Distributed And Parallel Computing | REX 1991 |

claim paper

Related Content

» Lazy transition systems application to timing optimization of asynchronous circuits

» Modeling Transit Trip Time using Archived Bus Dispatch System Data

» Transition time bounded lowpower clock tree construction

» TimeDeterministic Hybrid Transition Systems

» Modal and transition dwell time computation in switching systems a settheoretic approach

» Continuous Preview Control of DualStage Actuator systems for reduced transition time

» Requirements for Transitioning Business Process Simulation Models to RealTime Operational ...

» A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

» An objectoriented programming approach for a GIS datadriven simulation model of traffic on...

Post Info
More Details (n/a)

Added	27 Aug 2010
Updated	27 Aug 2010
Type	Conference
Year	1991
Where	REX
Authors	Thomas A. Henzinger, Zohar Manna, Amir Pnueli

Comments (0)