Supplementary Materials for "Efficient Conformance Checking of Rich Data-Aware Declare Specifications" - Including Source Code, Executable, Dataset and Raw Results

Fuente: Zenodo

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Casas-Ramos, Jacobo, Winkler, Sarah, Gianola, Alessandro, Montali, Marco, Mucientes, Manuel, Lama, Manuel
Format:	Recurso digital
Langue:	anglais
Publié:	Zenodo 2025
Sujets:	Multi-perspective conformance checking Efficient optimal alignments Data-aware Declare Satisfiability modulo theories (SMT)
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet