• Sorted by Date • Classified by Publication Type • Classified by Research Category •
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.
(unavailable)
@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