TY - RPRT TI - PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data AU - Marco Pegoraro AU - Merih Seran Uysal AU - Wil M. P. van der Aalst PY - 2022 DO - 10.1007/978-3-030-76983-3_24 UR - https://arxiv.org/abs/2103.05564 ID - 2103.05564 ER -