Cover Image

Saved in:
Bibliographic Details
Main Authors: Casas-Ramos, Jacobo, Winkler, Sarah, Gianola, Alessandro, Montali, Marco, Mucientes, Manuel, Lama, Manuel
Format: Recurso digital
Language:English
Published: Zenodo 2025
Subjects:
Multi-perspective conformance checking
Efficient optimal alignments
Data-aware Declare
Satisfiability modulo theories (SMT)
Online Access:https://doi.org/10.5281/zenodo.15470077
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Description not available.

Similar Items