Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified 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)

@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 Mon Jan 08, 2024 13:46:57