%0 Conference Paper %1 conf/rta/KanovichKNSTP12 %A Kanovich, Max I. %A Kirigin, Tajana Ban %A Nigam, Vivek %A Scedrov, Andre %A Talcott, Carolyn L. %A Perovic, Ranko %B RTA %D 2012 %E Tiwari, Ashish %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 305-322 %T A Rewriting Framework for Activities Subject to Regulations. %U http://dblp.uni-trier.de/db/conf/rta/rta2012.html#KanovichKNSTP12 %V 15 %@ 978-3-939897-38-5

@inproceedings{conf/rta/KanovichKNSTP12, added-at = {2018-08-23T00:00:00.000+0200}, author = {Kanovich, Max I. and Kirigin, Tajana Ban and Nigam, Vivek and Scedrov, Andre and Talcott, Carolyn L. and Perovic, Ranko}, biburl = {https://www.bibsonomy.org/bibtex/2460b22187b05b3e7fa5a7cd7d5eb86db/dblp}, booktitle = {RTA}, crossref = {conf/rta/2012}, editor = {Tiwari, Ashish}, ee = {https://doi.org/10.4230/LIPIcs.RTA.2012.305}, interhash = {cab6d2c9ec6ef01bc20e39c425c7f3fe}, intrahash = {460b22187b05b3e7fa5a7cd7d5eb86db}, isbn = {978-3-939897-38-5}, keywords = {dblp}, pages = {305-322}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:50:09.000+0100}, title = {A Rewriting Framework for Activities Subject to Regulations.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta2012.html#KanovichKNSTP12}, volume = 15, year = 2012 }