Anna Ciampolini, Paola Mello, Marco Montali, Sergio Storari. Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols. In 18th IEEE Symposium on Computer-Based Medical Systems (CBMS 2005), 23-24 June 2005, Dublin, Ireland. pages 503-505, IEEE Computer Society, 2005. [doi]
Abstract is missing.