Items where Author is "Ho, HM"
Number of items: 1.
HO, HM
(2019).
Revisiting timed logics with automata modalities.
In:
HSCC '19 Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control.
ACM Press, 67-76.