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

Fuente: Zenodo

Guardado en:

Detalles Bibliográficos
Autores principales:	Casas-Ramos, Jacobo, Winkler, Sarah, Gianola, Alessandro, Montali, Marco, Mucientes, Manuel, Lama, Manuel
Formato:	Recurso digital
Lenguaje:	inglés
Publicado:	Zenodo 2025
Materias:	Multi-perspective conformance checking Efficient optimal alignments Data-aware Declare Satisfiability modulo theories (SMT)
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet