%0 Journal Article %1 journals/deds/FalconeM15 %A Falcone, Yliès %A Marchand, Hervé %D 2015 %J Discrete Event Dynamic Systems %K dblp %N 4 %P 531-570 %T Enforcement and validation (at runtime) of various notions of opacity. %U http://dblp.uni-trier.de/db/journals/deds/deds25.html#FalconeM15 %V 25

@article{journals/deds/FalconeM15, added-at = {2015-10-09T00:00:00.000+0200}, author = {Falcone, Yliès and Marchand, Hervé}, biburl = {https://www.bibsonomy.org/bibtex/226108c9b88e952b22a95418819dda3e0/dblp}, ee = {http://dx.doi.org/10.1007/s10626-014-0196-4}, interhash = {8537a1d8e2f67c8bea9cf5c43c8536b3}, intrahash = {26108c9b88e952b22a95418819dda3e0}, journal = {Discrete Event Dynamic Systems}, keywords = {dblp}, number = 4, pages = {531-570}, timestamp = {2015-10-10T11:32:53.000+0200}, title = {Enforcement and validation (at runtime) of various notions of opacity.}, url = {http://dblp.uni-trier.de/db/journals/deds/deds25.html#FalconeM15}, volume = 25, year = 2015 }