Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Inferring Executable Models from Formalized Experimental Evidence

Vivek Nigam, Robin Donaldson, Merrill Knapp, Tim McCarthy, and Carolyn Talcott. Inferring Executable Models from Formalized Experimental Evidence. In CMSB, 2015.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@inproceedings{nigam15cmsb,
  author    = {Vivek Nigam and Robin Donaldson and Merrill Knapp and Tim McCarthy and Carolyn Talcott},
  title     = {Inferring Executable Models from Formalized Experimental Evidence},
  booktitle = {CMSB},
  year      = {2015},
  bib2html_pubtype = {Refereed Conference/Workshop},
    bib2html_rescat = {Other},
  year  = "2015",
  bib2html_dl_pdf = "/docs/cmsb15.pdf"
}  

Generated by bib2html.pl (written by Patrick Riley ) on Wed Jul 19, 2017 09:17:26