Concepedia

Publication | Open Access

Data-aware conformance checking with SMT

DOIFull Paper Access

15

Citations

17

References

2023

Year

Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Information Systems

References

YearCitations

Page 1