Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Symbolic Timed Trace Equivalence

Vivek Nigam, Carolyn Talcott, and Abra ao Aires Urquiza. Symbolic Timed Trace Equivalence. In Catherine Meadow's Festschirft, 2019.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@inproceedings{nigam19cathy,
  author    = {Vivek Nigam and
               Carolyn Talcott and
               Abra\~ao Aires Urquiza},
  title     = {Symbolic Timed Trace Equivalence},
  year      = {2019},
  booktitle = {Catherine Meadow's Festschirft},
   bib2html_pubtype = {Refereed Conference/Workshop},
bib2html_rescat = {Foundations of Computer Security},
bib2html_dl_pdf = "/docs/obseq.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Thu Apr 11, 2019 12:00:53