TY - RPRT TI - Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems AU - Artem Polyvyanyy AU - Andreas Solti AU - Matthias Weidlich AU - Claudio Di Ciccio AU - Jan Mendling PY - 2020 DO - 10.1145/3387909 UR - https://arxiv.org/abs/1812.07334 ID - 1812.07334 ER -