User: Guest  Login
Author(s):
Rungger, Matthias; Zamani, Majid 
Title:
Compositional construction of approximate abstractions 
Book / Congress title:
Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 
Publisher:
Association for Computing Machinery (ACM) 
Date of publication:
01.01.2015 
Year:
2015 
Print-ISBN:
http://id.crossref.org/isbn/9781450334334