Models and temporal logics for timed component connectors (0)

by Farhad Arbab, Christel Baier, Frank De Boer, Jan Rutten
Venue:In In Proc. SEFM04. IEEE CS. Press, 2004. [AHK02] [AHS93] [AP98] [AR02] [Arb96] [Arb04] [BB00] [BB07] [BK96] [BK08] [BLS08] [BM90