Semantics for Accurate Conflict Detection in SMoVer: Specification, Detection and Presentation by Example

Kerstin Altmanninger, Wieland Schwinger, Gabriele Kotsis. Semantics for Accurate Conflict Detection in SMoVer: Specification, Detection and Presentation by Example. IJEIS, 6(1):68-84, 2010. [doi]