Models and Temporal Logics for Timed Component Connectors (2004)

View PDF

Download Links

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