This library is set up to work well with the SML package manager smlpkg. To use the package, in the root of your project directory, execute the command: You can now reference the mlb-file using ...
Abstract: Conformance checking techniques compare process models of organizational behavior with observed process executions to reveal their deviations. Traditional alignments concern individual ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results