Specification and verification of pharmacokinetic models
By
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", }