User: Guest  Login
Author(s):
Rungger, M.; Zamani, M. 
Title:
Compositional construction of approximate abstractions 
Book / Congress title:
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control 
Publisher:
ACM 
Year:
2015 
Pages:
68--77