Items where Author is "Ho, HM"
Jump to: Book Section
Number of items: 1.
Book Section
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.
[Book Section]