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. In 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2016.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@inproceedings{kanovich16formats,
  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},
  booktitle = {14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)},
  year = "2016",
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Foundations of Computer Security},
  bib2html_dl_pdf = "/docs/survivability.pdf"
 }

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