On Runtime Enforcement via Suppressions. Aceto, L., Cassar, I., Francalanza, A., & Ingólfsdóttir, A. In 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, pages 34:1–34:17, 2018. bibtex @inproceedings{aceto_runtime_2018,
author = {Aceto, Luca and Cassar, Ian and Francalanza, Adrian and Ing{\'o}lfsd{\'o}ttir, Anna},
booktitle = {29th {International} {Conference} on {Concurrency} {Theory}, {CONCUR} 2018, {September} 4-7, 2018, {Beijing}, {China}},
pages = {34:1--34:17},
title = {On {Runtime} {Enforcement} via {Suppressions}},
year = {2018}}
Downloads: 0
{"_id":"sjzCiSLzd797C3oq6","bibbaseid":"aceto-cassar-francalanza-inglfsdttir-onruntimeenforcementviasuppressions-2018","author_short":["Aceto, L.","Cassar, I.","Francalanza, A.","Ingólfsdóttir, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Aceto"],"firstnames":["Luca"],"suffixes":[]},{"propositions":[],"lastnames":["Cassar"],"firstnames":["Ian"],"suffixes":[]},{"propositions":[],"lastnames":["Francalanza"],"firstnames":["Adrian"],"suffixes":[]},{"propositions":[],"lastnames":["Ingólfsdóttir"],"firstnames":["Anna"],"suffixes":[]}],"booktitle":"29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China","pages":"34:1–34:17","title":"On Runtime Enforcement via Suppressions","year":"2018","bibtex":"@inproceedings{aceto_runtime_2018,\n\tauthor = {Aceto, Luca and Cassar, Ian and Francalanza, Adrian and Ing{\\'o}lfsd{\\'o}ttir, Anna},\n\tbooktitle = {29th {International} {Conference} on {Concurrency} {Theory}, {CONCUR} 2018, {September} 4-7, 2018, {Beijing}, {China}},\n\tpages = {34:1--34:17},\n\ttitle = {On {Runtime} {Enforcement} via {Suppressions}},\n\tyear = {2018}}\n\n","author_short":["Aceto, L.","Cassar, I.","Francalanza, A.","Ingólfsdóttir, A."],"key":"aceto_runtime_2018","id":"aceto_runtime_2018","bibbaseid":"aceto-cassar-francalanza-inglfsdttir-onruntimeenforcementviasuppressions-2018","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://drive.google.com/uc?export=download&id=19WpQhoMIwJIL1DMqKywl2YoH2M7MIki5","dataSources":["RKZzE9qbnqyegdbZi","kCt8NvHdC72dHkmfu"],"keywords":[],"search_terms":["runtime","enforcement","via","suppressions","aceto","cassar","francalanza","ingólfsdóttir"],"title":"On Runtime Enforcement via Suppressions","year":2018}