Checking Activity Transition Systems with Back Transitions Against Assertions.

Cunjing Ge, Jiwei Yan, Jun Yan, Jian Zhang

Browse the full ICFEM paper archive.