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 |