%0 Journal Article %1 journals/cbm/HoogendoornKMT13 %A Hoogendoorn, Mark %A Klein, Michel C. A. %A Memon, Zulfiqar Ali %A Treur, Jan %D 2013 %J Comput. Biol. Medicine %K dblp %N 5 %P 444-457 %T Formal specification and analysis of intelligent agents for model-based medicine usage management. %U http://dblp.uni-trier.de/db/journals/cbm/cbm43.html#HoogendoornKMT13 %V 43

@article{journals/cbm/HoogendoornKMT13, added-at = {2020-09-02T00:00:00.000+0200}, author = {Hoogendoorn, Mark and Klein, Michel C. A. and Memon, Zulfiqar Ali and Treur, Jan}, biburl = {https://www.bibsonomy.org/bibtex/25857db9026f8bf4c0c732486d2c31ff3/dblp}, ee = {https://www.wikidata.org/entity/Q54437770}, interhash = {5882b184720ad10515fb58cfd8814f0b}, intrahash = {5857db9026f8bf4c0c732486d2c31ff3}, journal = {Comput. Biol. Medicine}, keywords = {dblp}, number = 5, pages = {444-457}, timestamp = {2020-09-09T12:59:47.000+0200}, title = {Formal specification and analysis of intelligent agents for model-based medicine usage management.}, url = {http://dblp.uni-trier.de/db/journals/cbm/cbm43.html#HoogendoornKMT13}, volume = 43, year = 2013 }