![](/img/cover-not-exists.png)
Model measuring for discrete and hybrid systems
Henzinger, Thomas A., Otop, JanLanguage:
english
Journal:
Nonlinear Analysis: Hybrid Systems
DOI:
10.1016/j.nahs.2016.09.001
Date:
October, 2016
File:
PDF, 743 KB
english, 2016