Session details: Compositional Methods

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 ◽

10.1145/3258028 ◽

2018 ◽

Author(s):

Jyotirmoy V. Deshmukh

Download Full-text