Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified by Research Category •

A Rewriting Framework for Activities Subject toRegulations

Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, and Ranko Perovic. A Rewriting Framework for Activities Subject toRegulations. In RTA, pp. 305–322, LIPIcs 15, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012.

Download

[PDF] 

Abstract

(unavailable)

@inproceedings{kanovich12rta,
  author    = {Max I. Kanovich and
               Tajana Ban Kirigin and
               Vivek Nigam and
               Andre Scedrov and
               Carolyn L. Talcott and
               Ranko Perovic},
  title     = {A Rewriting Framework for Activities Subject to
Regulations},
  booktitle = {RTA},
  year      = {2012},
  pages     = {305-322},
  ee        = {http://dx.doi.org/10.4230/LIPIcs.RTA.2012.305},
  editor    = {Ashish Tiwari},
  booktitle = {RTA},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  series    = {LIPIcs},
  volume    = {15},
  year      = {2012},
  isbn      = {978-3-939897-38-5},
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Foundations of Computer Security},
  bib2html_dl_pdf = "/docs/rta12.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57