%0 Journal Article %1 journals/iandc/PandyaW22 %A Pandya, Paritosh K. %A Wakankar, Amol %D 2022 %J Inf. Comput. %K dblp %N Part %P 104865 %T Specification and optimal reactive synthesis of run-time enforcement shields. %U http://dblp.uni-trier.de/db/journals/iandc/iandc285.html#PandyaW22 %V 285

@article{journals/iandc/PandyaW22, added-at = {2022-06-13T00:00:00.000+0200}, author = {Pandya, Paritosh K. and Wakankar, Amol}, biburl = {https://www.bibsonomy.org/bibtex/211f31666586a11d284a9044edfc299fb/dblp}, ee = {https://doi.org/10.1016/j.ic.2022.104865}, interhash = {2d23cbedc9dd1428cbe47233551f4327}, intrahash = {11f31666586a11d284a9044edfc299fb}, journal = {Inf. Comput.}, keywords = {dblp}, number = {Part}, pages = 104865, timestamp = {2024-04-09T06:11:52.000+0200}, title = {Specification and optimal reactive synthesis of run-time enforcement shields.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc285.html#PandyaW22}, volume = 285, year = 2022 }