Closing open SDL-systems for model checking with DTSpin
- Publication date
- Publisher
- Springer-Verlag
Abstract
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