Formal Analysis of Intelligent Agents for Model-Based Medicine Usage Management

Mark Hoogendoorn, Michel C. A. Klein, Zulfiqar A. Memon, Jan Treur. Formal Analysis of Intelligent Agents for Model-Based Medicine Usage Management. In Luís Azevedo, Ana Rita Londral, editors, Proceedings of the First International Conference on Health Informatics, HEALTHINF 2008, Funchal, Madeira, Portugal, January 28-31, 2008, Volume 1. pages 148-155, INSTICC - Institute for Systems and Technologies of Information, Control and Communication, 2008.

Authors

Mark Hoogendoorn

This author has not been identified. It may be one of the following persons: Look up 'Mark Hoogendoorn' in Google

Michel C. A. Klein

This author has not been identified. Look up 'Michel C. A. Klein' in Google

Zulfiqar A. Memon

This author has not been identified. Look up 'Zulfiqar A. Memon' in Google

Jan Treur

Identified as Jan Treur