Conferência De: dblp

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

OVERLAY@AI*IA

Paolo Felli; Alessandro Gianola; Sarah Winkler2022

Informações chave

Autores:

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

Publicado em

2022

Detalhes da publicação

Autores da comunidade :

Título do contentor da publicação

OVERLAY@AI*IA

Primeira página ou número de artigo

87

Última página

92

Domínio Científico (FOS)

computer-and-information-sciences - Ciências da Computação e da Informação

Idioma da publicação (código ISO)

eng - Inglês

Acesso à publicação:

Acesso apenas a metadados