Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic.

Morteza Yousef Sanati, Wendy MacCaull, T. S. E. Maibaum

Browse the full FM paper archive.