%0 Journal Article %1 journals/fmsd/PinisettyFJMRN14 %A Pinisetty, Srinivas %A Falcone, Yliès %A Jéron, Thierry %A Marchand, Hervé %A Rollet, Antoine %A Nguena-Timo, Omer %D 2014 %J Formal Methods Syst. Des. %K dblp %N 3 %P 381-422 %T Runtime enforcement of timed properties revisited. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd45.html#PinisettyFJMRN14 %V 45

@article{journals/fmsd/PinisettyFJMRN14, added-at = {2020-03-13T00:00:00.000+0100}, author = {Pinisetty, Srinivas and Falcone, Yliès and Jéron, Thierry and Marchand, Hervé and Rollet, Antoine and Nguena-Timo, Omer}, biburl = {https://www.bibsonomy.org/bibtex/2babdb5fa22755714f5ebcb44e7a394d0/dblp}, ee = {https://doi.org/10.1007/s10703-014-0215-y}, interhash = {daaaeccf4dfd71842ccde9fc9ea3e7e7}, intrahash = {babdb5fa22755714f5ebcb44e7a394d0}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {381-422}, timestamp = {2020-03-14T11:51:48.000+0100}, title = {Runtime enforcement of timed properties revisited.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd45.html#PinisettyFJMRN14}, volume = 45, year = 2014 }