Reduction techniques for efficient behavioral model checking in adaptive case management.

Christoph Czepa, Huy Tran, Uwe Zdun, Thanh Thi Kim Tran, Erhard Weiss, Christoph Ruhsam

Browse the full SAC paper archive.