related documents Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic Conferences
