Open Systems Laboratory at Illinois

Specification and verification of pharmacokinetic models

By YoungMin Kwon and Eunhee Kim. In Advances in Computational Biology in Advances in Experimental Medicine and Biology (AEMB) book series (To Appear). 2010.

Full Text:
Download PDF

BibTeX

@inproceedings{KwonAEMB,
    author = "Kwon, YoungMin and Kim, Eunhee",
    title = "Specification and Verification of Pharmacokinetic Models",
    booktitle = "Advances in Computational Biology in Advances in
                 Experimental Medicine and Biology (AEMB) book series (To
                 Appear)",
    keywords = "formal methods",
    year = "2010",
}