Models and Temporal Logics for Timed Component Connectors.

Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten

Browse the full SEFM paper archive.