Skip to content

A search-based and fault-tolerant approach to concurrent model synchronisation.

Nils Weidmann, Lars Fritsche, Anthony Anjorin

VenueBSLE
Year2020
ProceedingsSLE

Browse the full SLE paper archive.