Article In: dblp

Conformance Checking with Uncertainty via SMT (Extended Version).

Paolo Felli; Alessandro Gianola; Sarah Winkler — 2022 — CoRR

Key information

Authors:

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

Published in

2022

Publication details

Authors in the community:

  • Alessandro Gianola

    Alessandro Gianola

    ist429767

    In: dblp

    ID: journals/corr/abs-2206-07461

Publisher

CoRR

Volume

abs/2206.07461

Fields of Science and Technology (FOS)

computer-and-information-sciences - Computer and information sciences

Publication language (ISO code)

eng - English

Rights type:

Only metadata available