Merkliste 
 1 Ergebnisse 
 
1

Model measuring for hybrid systems:

, In: Proceedings of the 17th international conference on Hybrid systems: computation and control,
Henzinger, Thomas A. ; Otop, Jan - p. 213-222 , 2014