Cite
Model checking of healthcare domain models
MLA
Baksi, Dibyendu. “Model Checking of Healthcare Domain Models.” Computer Methods & Programs in Biomedicine, vol. 96, no. 3, Dec. 2009, pp. 217–25. EBSCOhost, https://doi.org/10.1016/j.cmpb.2009.06.007.
APA
Baksi, D. (2009). Model checking of healthcare domain models. Computer Methods & Programs in Biomedicine, 96(3), 217–225. https://doi.org/10.1016/j.cmpb.2009.06.007
Chicago
Baksi, Dibyendu. 2009. “Model Checking of Healthcare Domain Models.” Computer Methods & Programs in Biomedicine 96 (3): 217–25. doi:10.1016/j.cmpb.2009.06.007.