Workflow Management for Health Care Processes Meets Formal Verification Download Tags: Presentation Meeting #6 Submitted by Paul Joannou on Sun, 09/25/2011 - 10:10