DMCA

Computational techniques for the verification of hybrid systems (2003)

by Claire J. Tomlin , Ian Mitchell , Alexandre M. Bayen , Meeko Oishi
Venue:Proceedings of the IEEE
Citations:72 - 9 self