Masaki Waga, Ichiro Hasuo. Moore-machine filtering for timed and untimed pattern matching: poster abstract. In Necmiye Ozay, Pavithra Prabhakar, editors, Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. pages 272-273, ACM, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.