EuWireless Presentation in LOPSTR19

The EuWireless paper “Trace analysis using an Event-driven Interval Temporal Logic” was presented in the LOPSTR19 conference on 9 October 2019.