DMCA

Logics for Hybrid Systems (2000)

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