Theoretical Computer Science
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Assertion-Based Analysis of Hybrid Systems with PVS
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Information and Computation
Hi-index | 0.00 |