Formal Verification of an Agent-Based Support System for Medicine Intake.
M. Hoogendoorn, M. Klein, Z. Memon, and J. Treur. BIOSTEC (Selected Papers), volume 25 of Communications in Computer and Information Science, page 453-466. Springer, (2008)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/biostec/HoogendoornKMT08a
%A Hoogendoorn, Mark
%A Klein, Michel C. A.
%A Memon, Zulfiqar Ali
%A Treur, Jan
%B BIOSTEC (Selected Papers)
%D 2008
%E Fred, Ana L. N.
%E Filipe, Joaquim
%E Gamboa, Hugo
%I Springer
%K dblp
%P 453-466
%T Formal Verification of an Agent-Based Support System for Medicine Intake.
%U http://dblp.uni-trier.de/db/conf/biostec/biostec2008ccis.html#HoogendoornKMT08a
%V 25
%@ 978-3-540-92218-6
@inproceedings{conf/biostec/HoogendoornKMT08a,
added-at = {2020-03-27T00:00:00.000+0100},
author = {Hoogendoorn, Mark and Klein, Michel C. A. and Memon, Zulfiqar Ali and Treur, Jan},
biburl = {https://www.bibsonomy.org/bibtex/239c3fad0516bd4d2102e4cbf2924660f/dblp},
booktitle = {BIOSTEC (Selected Papers)},
crossref = {conf/biostec/2008ccis},
editor = {Fred, Ana L. N. and Filipe, Joaquim and Gamboa, Hugo},
ee = {https://doi.org/10.1007/978-3-540-92219-3_34},
interhash = {993e3478f6f2efa37c34c48f9b85ba69},
intrahash = {39c3fad0516bd4d2102e4cbf2924660f},
isbn = {978-3-540-92218-6},
keywords = {dblp},
pages = {453-466},
publisher = {Springer},
series = {Communications in Computer and Information Science},
timestamp = {2024-04-09T16:17:21.000+0200},
title = {Formal Verification of an Agent-Based Support System for Medicine Intake.},
url = {http://dblp.uni-trier.de/db/conf/biostec/biostec2008ccis.html#HoogendoornKMT08a},
volume = 25,
year = 2008
}