VIVO
CU:
Home
•
A to Z
•
Campus Map
Home
People
Organizations
Publications
Honors
Research
International
About
HSCC '15: 18th International Conference on Hybrid Systems: Computation and Control
Conference
Publications
Publications
related documents
Compositional construction of approximate abstractions
Conference Proceeding