Publications for User 120

Georg Duftschmid, Silvia Miksch, W. Gall, "{Verification of Temporal Scheduling Constraints in Clinical Practice Guidelines}", Artificial Intelligence in Medicine (AIIM), vol. 25, pp. 93–121, 2002. paper