Experiences in Quality Checking Medical Guidelines using Formal Methods

Files in This Item:

File	Description	Size	Format
	author's version	223.51 kB	Adobe PDF	View/Open

Title:	Experiences in Quality Checking Medical Guidelines using Formal Methods
Author(s):	Groot, P.J. (190169281) Hommersom, A. (29881434X) Lucas, P. (073468495) Balser, M. (059139854) Schmitt, J.
Publication year:	2007
Document type:	Article in monograph or in proceedings
Book title:	Proceedings Verification and Validation of Software Systems (VVSS 2007) March 23, 2007, University of Technology, Eindhoven
Start page:	p. 164
End page:	p. 178
Publisher:	Nijmegen, Eindhoven : LaQuSo
Subject:	Information Retrieval and Information Systems
Organization:	Astrophysics Information Retrieval and Information Systems
Appears in Collections:	Academic bibliography

Please use this identifier to cite or link to this item: http://hdl.handle.net/2066/34812