Logics for Hybrid Systems (2000)

by J. M. Davoren , Anil Nerode
Venue:Proceedings of the IEEE
Citations:93 - 7 self