Paper Accepted for ISOLA 2021
The paper "An Algorithm to Compute a Strict PartialOrdering of Actions in Action Traces", authored by Martin Kölbl and Stefan Leue (University of Konstanz) has been accepted for the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2021), to be held in Rhodes, Greece, in October 2021.