• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Vivek Nigam and Carolyn Talcott. An Executable Formal Model for Specifying and Verifying Clinical Trials. Unpublished Draft.
(unavailable)
@unpublished{nigam14tr,
author = {Vivek Nigam and Carolyn Talcott},
title = {An Executable Formal Model for Specifying and Verifying Clinical Trials},
bib2html_pubtype = {Technical Report},
bib2html_rescat = {Other},
year = "Draft",
bib2html_dl_pdf = "/docs/cta-tr.pdf"
}
Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57