Mark Hoogendoorn, Michel C. A. Klein, Zulfiqar A. Memon, Jan Treur. Formal Verification of an Agent-Based Support System for Medicine Intake. In Ana L. N. Fred, Joaquim Filipe, Hugo Gamboa, editors, Biomedical Engineering Systems and Technologies, International Joint Conference, BIOSTEC 2008, Funchal, Madeira, Portugal, January 28-31, 2008, Revised Selected Papers. Volume 25 of Communications in Computer and Information Science, pages 453-466, Springer, 2008. [doi]
Abstract is missing.