%0 Journal Article %1 journals/sttt/FalconeJ17 %A Falcone, Yliès %A Jaber, Mohamad %D 2017 %J Int. J. Softw. Tools Technol. Transf. %K %N 3 %P 341-365 %T Fully automated runtime enforcement of component-based systems with formal and sound recovery. %U http://dblp.uni-trier.de/db/journals/sttt/sttt19.html#FalconeJ17 %V 19

@article{journals/sttt/FalconeJ17, added-at = {2023-12-12T21:07:07.000+0100}, author = {Falcone, Yliès and Jaber, Mohamad}, biburl = {https://www.bibsonomy.org/bibtex/2110d0ba748182709b8440533594e49b2/admin}, ee = {https://doi.org/10.1007/s10009-016-0413-6}, interhash = {3962ddceb04417dd5d0e27dbb5002663}, intrahash = {110d0ba748182709b8440533594e49b2}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {}, number = 3, pages = {341-365}, timestamp = {2023-12-12T21:07:07.000+0100}, title = {Fully automated runtime enforcement of component-based systems with formal and sound recovery.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt19.html#FalconeJ17}, volume = 19, year = 2017 }