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.

@inproceedings{HoogendoornKMT08,
  title = {Formal Analysis of Intelligent Agents for Model-Based Medicine Usage Management},
  author = {Mark Hoogendoorn and Michel C. A. Klein and Zulfiqar A. Memon and Jan Treur},
  year = {2008},
  tags = {rule-based, agent based modeling, analysis, C++},
  researchr = {https://researchr.org/publication/HoogendoornKMT08},
  cites = {0},
  citedby = {0},
  pages = {148-155},
  booktitle = {Proceedings of the First International Conference on Health Informatics, HEALTHINF 2008, Funchal, Madeira, Portugal, January 28-31, 2008, Volume 1},
  editor = {Luís Azevedo and Ana Rita Londral},
  publisher = {INSTICC - Institute for Systems and Technologies of Information, Control and Communication},
  isbn = {978-989-8111-16-6},
}