publication venue for
- Symbolic Verification of Hybrid Systems: An Algebraic Approach. 7:541-556. 2001
European Journal of Control
Journal
- Overview
- Identity
- View All
Overview
has subject area
- 0102 Applied Mathematics (FoR)
- 0906 Electrical and Electronic Engineering (FoR)
- 0913 Mechanical Engineering (FoR)
- Industrial Engineering & Automation (Science Metrix)