%0 Journal Article %1 journals/fmsd/PinisettyPRT21 %A Pinisetty, Srinivas %A Pradhan, Ankit %A Roop, Partha S. %A Tripakis, Stavros %D 2021 %J Formal Methods Syst. Des. %K dblp %N 1 %P 205-252 %T Compositional runtime enforcement revisited. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd59.html#PinisettyPRT21 %V 59

@article{journals/fmsd/PinisettyPRT21, added-at = {2023-03-21T00:00:00.000+0100}, author = {Pinisetty, Srinivas and Pradhan, Ankit and Roop, Partha S. and Tripakis, Stavros}, biburl = {https://www.bibsonomy.org/bibtex/2fe769932feb16dd712f01254bd35ed89/dblp}, ee = {https://doi.org/10.1007/s10703-022-00401-y}, interhash = {abb16df1efe2e89af7c838a94bae7aeb}, intrahash = {fe769932feb16dd712f01254bd35ed89}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 1, pages = {205-252}, timestamp = {2024-04-08T17:15:08.000+0200}, title = {Compositional runtime enforcement revisited.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd59.html#PinisettyPRT21}, volume = 59, year = 2021 }