Kasalica, Vedran, Utrecht University, Netherlands
-
Volume 78: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium and Industry Day, 2018 - Articles
Workflow Discovery with Semantic Constraints: The SAT-Based Implementation of APE
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.