Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems

Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn Talcott. Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. Unpublished Draft.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@unpublished{kanovich.unp.surv,
  author    = {Max Kanovich and Tajana Ban Kirigin and Vivek Nigam and Andre Scedrov and Carolyn Talcott},
  title     = {Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems},
  year = "Draft",
  bib2html_pubtype = {Submitted},
  bib2html_rescat = {Foundations of Computer Security},
  bib2html_dl_pdf = "/docs/survivability.pdf"
 }

Generated by bib2html.pl (written by Patrick Riley ) on Fri Mar 25, 2016 10:37:15