Compositional construction of approximate abstractions
Conference Proceeding
Overview
publication date
- April 14, 2015
has restriction
- closed
Date in CU Experts
- January 29, 2016 1:53 AM
Full Author List
- Rungger M; Zamani M
author count
- 2