Improving medical protocols by formal methods

13 years 11 months ago

Annette ten Teije, Mar Marcos, Michael Balser, Joy

ARTMED 2006 |

claim paper

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2006
Where	ARTMED
Authors	Annette ten Teije, Mar Marcos, Michael Balser, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Peter J. F. Lucas, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang

Comments (0)