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 Wed Jul 19, 2017 09:17:26