Publications by authors named "Michael Balser"

Claim this Profile
F
Formal methods for verification of clinical practice guidelines.
Arjen Hommersom, Perry Groot, Michael Balser, Peter Lucas

Stud Health Technol Inform· November 2008

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
V
Verification of medical guidelines in KIV.
Jonathan Schmitt, Michael Balser, Wolfgang Reif

Stud Health Technol Inform· November 2008

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
P
Protocure: supporting the development of medical protocols through formal methods.
Michael Balser, Oscar Coltell, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen

Stud Health Technol Inform· December 2004

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis