Models and Temporal Logics for Timed Component Connectors (2004)

Cached

Download Links

by Farhad Arbab , Christel Baier , Frank De Boer , Jan Rutten
Venue:In Proc. SEFM’04. IEEE CS
Citations:15 - 7 self