%0 Journal Article %1 journals/cl/BossiFPR04 %A Bossi, Annalisa %A Focardi, Riccardo %A Piazza, Carla %A Rossi, Sabina %D 2004 %J Comput. Lang. Syst. Struct. %K dblp %N 3-4 %P 231-258 %T Verifying persistent security properties. %U http://dblp.uni-trier.de/db/journals/cl/cl30.html#BossiFPR04 %V 30

@article{journals/cl/BossiFPR04, added-at = {2020-02-11T00:00:00.000+0100}, author = {Bossi, Annalisa and Focardi, Riccardo and Piazza, Carla and Rossi, Sabina}, biburl = {https://www.bibsonomy.org/bibtex/2a90da79c7f828ee36fef3c547c10ed87/dblp}, ee = {https://www.wikidata.org/entity/Q62045715}, interhash = {688e079ccfcd8ad7f5aea4fa956639f1}, intrahash = {a90da79c7f828ee36fef3c547c10ed87}, journal = {Comput. Lang. Syst. Struct.}, keywords = {dblp}, number = {3-4}, pages = {231-258}, timestamp = {2020-02-12T11:40:04.000+0100}, title = {Verifying persistent security properties.}, url = {http://dblp.uni-trier.de/db/journals/cl/cl30.html#BossiFPR04}, volume = 30, year = 2004 }