- Record: found
- Abstract: not found
- Book Chapter: not found
Business Process Management : 19th International Conference, BPM 2021, Rome, Italy, September 06–10, 2021, Proceedings
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT
other
August 28 2021
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references27
- Record: found
- Abstract: not found
- Article: not found
A general method applicable to the search for similarities in the amino acid sequence of two proteins
Saul Needleman, Christian Wunsch (1970)
- Record: found
- Abstract: not found
- Book Chapter: not found
Z3: An Efficient SMT Solver
Leonardo de Moura, Nikolaj Bjørner (2008)
