Thomas A. Henzinger, Jan Otop. Model measuring for hybrid systems. In Martin Fränzle, John Lygeros, editors, 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014. pages 213-222, ACM, 2014. [doi]
@inproceedings{HenzingerO14, title = {Model measuring for hybrid systems}, author = {Thomas A. Henzinger and Jan Otop}, year = {2014}, doi = {10.1145/2562059.2562130}, url = {http://doi.acm.org/10.1145/2562059.2562130}, researchr = {https://researchr.org/publication/HenzingerO14}, cites = {0}, citedby = {0}, pages = {213-222}, booktitle = {17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014}, editor = {Martin Fränzle and John Lygeros}, publisher = {ACM}, isbn = {978-1-4503-2732-9}, }