Compositional construction of approximate abstractions Conference Proceeding

Overview

CU Boulder Authors

Zamani, Majid

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

presented at event

HSCC '15: 18th International Conference on Hybrid Systems: Computation and Control Conference

Other Profiles

Digital Object Identifier (DOI)

https://doi.org/10.1145/2728606.2728615

Additional Document Info

start page

68

end page

77