CAP Project
The CAP Sino-German Project
Home
Work Packages
WP1: Exploiting Modularity and Compositionality
WP2: Abstraction-Based Model Reduction
WP3: Approaches for Parametrized Systems
Partners & People
Announcements
Publications
Deliverables
SETTA’17 best paper award
andrea
October 25, 2017
November 7, 2017
Publication
