Not registered as user yet

Name: Eugene Asarin

Affiliation: IRIF, University Paris Diderot and CNRS, France

Contributions

HSB 2019Author of Timed Patterns: from Definition to Matching and Monitoring, a survey in memoriam Oded Maler within the HSB-track