Sciweavers

Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
Recent Google, Yahoo, MSN search queries leading to this post
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems