%0 Journal Article %1 journals/jnw/MengHW11 %A Meng, Bo %A Huang, Wei %A Wang, Dejun %D 2011 %J JNW %K dblp %N 9 %P 1262-1271 %T Automatic Verification of Remote Internet Voting Protocol in Symbolic Model. %U http://dblp.uni-trier.de/db/journals/jnw/jnw6.html#MengHW11 %V 6

@article{journals/jnw/MengHW11, added-at = {2011-11-02T00:00:00.000+0100}, author = {Meng, Bo and Huang, Wei and Wang, Dejun}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bc2b80bb3d911c572807b9c0e3dc62dc/dblp}, ee = {http://dx.doi.org/10.4304/jnw.6.9.1262-1271}, interhash = {9b09c904544a7672684ab998c509c062}, intrahash = {bc2b80bb3d911c572807b9c0e3dc62dc}, journal = {JNW}, keywords = {dblp}, number = 9, pages = {1262-1271}, timestamp = {2016-02-02T04:57:37.000+0100}, title = {Automatic Verification of Remote Internet Voting Protocol in Symbolic Model.}, url = {http://dblp.uni-trier.de/db/journals/jnw/jnw6.html#MengHW11}, volume = 6, year = 2011 }