Model Checking for Clinical Guidelines: an Agent-based Approach.

Laura Giordano, Paolo Terenziani, Alessio Bottrighi, Stefania Montani, Loredana Donzella

Browse the full AMIA paper archive.