Trace Analysis Using an Event-Driven Interval Temporal Logic

von Gallardo, María-del-Mar
Veröffentlicht in LOPSTR (29. : 2019 : Porto, Portugal) Logic-based program synthesis and transformation (2020)