Models and temporal logics for timed component connectors
Farhad Arbab, Christel Baier, Frank S. de Boer, Jan Rutten · VU Research Portal · 2004
CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below are the names of the clusters and in parentheses their acronyms.