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.
Abstract is missing.