Exploring the Alloy operational semantics for case management process modeling.

Irina Rychkova

Browse the full RCIS paper archive.