Conference In: dblp

A Modular SMT-based Approach for Data-aware Conformance Checking.

OVERLAY@AI*IA

Paolo Felli; Alessandro Gianola; Sarah Winkler — 2022

Key information

Authors:

Paolo Felli; Alessandro Gianola (Alessandro Gianola); Marco Montali; Andrey Rivkin; Sarah Winkler

Published in

2022

Publication details

Authors in the community:

Title of the publication container

OVERLAY@AI*IA

First page or article number

87

Last page

92

Fields of Science and Technology (FOS)

computer-and-information-sciences - Computer and information sciences

Publication language (ISO code)

eng - English

Rights type:

Only metadata available