BibTeX record conf/biostec/HoogendoornKMT08a

• > Home > conf/biostec/HoogendoornKMT08a

@inproceedings{DBLP:conf/biostec/HoogendoornKMT08a,
  author       = {Mark Hoogendoorn and
                  Michel C. A. Klein and
                  Zulfiqar Ali Memon and
                  Jan Treur},
  editor       = {Ana L. N. Fred and
                  Joaquim Filipe and
                  Hugo Gamboa},
  title        = {Formal Verification of an Agent-Based Support System for Medicine
                  Intake},
  booktitle    = {Biomedical Engineering Systems and Technologies, International Joint
                  Conference, {BIOSTEC} 2008, Funchal, Madeira, Portugal, January 28-31,
                  2008, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {25},
  pages        = {453--466},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-92219-3\_34},
  doi          = {10.1007/978-3-540-92219-3\_34},
  timestamp    = {Tue, 16 Aug 2022 23:04:32 +0200},
  biburl       = {https://dblp.org/rec/conf/biostec/HoogendoornKMT08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}