Login / Signup

Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems.

Dilsun Kirli KaynarNancy A. LynchRoberto SegalaFrits W. Vaandrager
Published in: RTSS (2003)
Keyphrases