Handbook of Process Algebra
Bisimulation relations for dynamical, control, and hybrid systems
Theoretical Computer Science
Pre-orders for reasoning about stability
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Pre-orders for reasoning about stability properties with respect to input of hybrid systems
Proceedings of the Eleventh ACM International Conference on Embedded Software
Hi-index | 0.00 |