Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified 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)

BibTeX

@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 Wed Jul 19, 2017 09:17:26