Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

An Executable Formal Model for Specifying and Verifying Clinical Trials

Vivek Nigam and Carolyn Talcott. An Executable Formal Model for Specifying and Verifying Clinical Trials. Unpublished Draft.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@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 Fri Oct 26, 2018 12:17:07