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
Paper accepted in QEST’17
andrea
June 5, 2017
Publication
