%0 Journal Article %1 journals/sosym/MoranHS16 %A Moran, Murat %A Heather, James %A Schneider, Steve A. %D 2016 %J Softw. Syst. Model. %K dblp %N 4 %P 1049-1062 %T Automated anonymity verification of the ThreeBallot and VAV voting systems. %U http://dblp.uni-trier.de/db/journals/sosym/sosym15.html#MoranHS16 %V 15

@article{journals/sosym/MoranHS16, added-at = {2020-09-18T00:00:00.000+0200}, author = {Moran, Murat and Heather, James and Schneider, Steve A.}, biburl = {https://www.bibsonomy.org/bibtex/2d531d90cd97783a970b3668eb917b3dd/dblp}, ee = {https://www.wikidata.org/entity/Q60173551}, interhash = {c1d5589347913c2db36fb8a13af215e0}, intrahash = {d531d90cd97783a970b3668eb917b3dd}, journal = {Softw. Syst. Model.}, keywords = {dblp}, number = 4, pages = {1049-1062}, timestamp = {2020-09-19T11:39:58.000+0200}, title = {Automated anonymity verification of the ThreeBallot and VAV voting systems.}, url = {http://dblp.uni-trier.de/db/journals/sosym/sosym15.html#MoranHS16}, volume = 15, year = 2016 }