• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Vivek Nigam, Carolyn Talcott, and Abra ao Aires Urquiza. Symbolic Timed Trace Equivalence. In Catherine Meadow's Festschirft, 2019.
(unavailable)
@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 Mon Jan 08, 2024 13:46:57