Merkliste 
 1 Ergebnisse 
 
1

Conformance Checking with Uncertainty via SMT:

, In: Lecture Notes in Computer Science; Business Process Management,
Felli, Paolo ; Gianola, Alessandro ; Montali, Marco.. - p. 199-216 , 2022