Reasoning About Property Preservation in Adaptive Case Management

Rik Eshuis, Richard Hull 0001, Mengfei Yi. Reasoning About Property Preservation in Adaptive Case Management. ACM Trans. Internet Techn., 19(1), 2019. [doi]

Abstract

Abstract is missing.