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]

Authors

Rik Eshuis

This author has not been identified. It may be one of the following persons: Look up 'Rik Eshuis' in Google

Richard Hull 0001

This author has not been identified. Look up 'Richard Hull 0001' in Google

Mengfei Yi

This author has not been identified. Look up 'Mengfei Yi' in Google