• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn Talcott. A Rewriting Framework and Logic for Activities Subject to Regulations. Mathematical Structures in Computer Science, 2015. Published online
(unavailable)
@article{kanovich.mscs, author = {Max Kanovich and Tajana Ban Kirigin and Vivek Nigam and Andre Scedrov and Carolyn Talcott}, title = { A Rewriting Framework and Logic for Activities Subject to Regulations}, journal = {Mathematical Structures in Computer Science}, note = "Published online", year = {2015}, bib2html_pubtype = {Journal}, bib2html_rescat = {Foundations of Computer Security}, bib2html_dl_pdf = "/docs/mscs15.pdf" }
Generated by bib2html.pl (written by Patrick Riley ) on Wed Jul 19, 2017 09:17:26