%0 Conference Paper %1 journals/entcs/NielsenAN05 %A Nielsen, Christoffer Rosenkilde %A Andersen, Esben Heltoft %A Nielson, Hanne Riis %B ARSPA@ICALP %D 2005 %E Degano, Pierpaolo %E Viganò, Luca %I Elsevier %K dblp %N 1 %P 115-134 %T Static Validation of a Voting Protocol. %U http://dblp.uni-trier.de/db/conf/arspa/arspa2005.html#NielsenAN05 %V 135

@inproceedings{journals/entcs/NielsenAN05, added-at = {2022-12-15T00:00:00.000+0100}, author = {Nielsen, Christoffer Rosenkilde and Andersen, Esben Heltoft and Nielson, Hanne Riis}, biburl = {https://www.bibsonomy.org/bibtex/20f0a3862b3494787d01ed2ec1f583aea/dblp}, booktitle = {ARSPA@ICALP}, crossref = {conf/arspa/2005}, editor = {Degano, Pierpaolo and Viganò, Luca}, ee = {https://doi.org/10.1016/j.entcs.2005.06.001}, interhash = {2950ddbb3eca8f2ad020493d8463cc00}, intrahash = {0f0a3862b3494787d01ed2ec1f583aea}, keywords = {dblp}, number = 1, pages = {115-134}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T23:34:27.000+0200}, title = {Static Validation of a Voting Protocol.}, url = {http://dblp.uni-trier.de/db/conf/arspa/arspa2005.html#NielsenAN05}, volume = 135, year = 2005 }