%0 Journal Article %1 journals/fmsd/PinisettyPTJFM17 %A Pinisetty, Srinivas %A Preoteasa, Viorel %A Tripakis, Stavros %A Jéron, Thierry %A Falcone, Yliès %A Marchand, Hervé %D 2017 %J Formal Methods Syst. Des. %K %N 1 %P 154-199 %T Predictive runtime enforcement. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd51.html#PinisettyPTJFM17 %V 51

@article{journals/fmsd/PinisettyPTJFM17, added-at = {2023-12-12T20:25:26.000+0100}, author = {Pinisetty, Srinivas and Preoteasa, Viorel and Tripakis, Stavros and Jéron, Thierry and Falcone, Yliès and Marchand, Hervé}, biburl = {https://www.bibsonomy.org/bibtex/2c99db8443ce2baf9a0dcc690ab6c1647/admin}, ee = {https://doi.org/10.1007/s10703-017-0271-1}, interhash = {2f0277151509635328d6c459491747fa}, intrahash = {c99db8443ce2baf9a0dcc690ab6c1647}, journal = {Formal Methods Syst. Des.}, keywords = {}, number = 1, pages = {154-199}, timestamp = {2023-12-12T20:25:26.000+0100}, title = {Predictive runtime enforcement.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd51.html#PinisettyPTJFM17}, volume = 51, year = 2017 }