%0 Conference Paper %1 conf/voteid/CochranK13 %A Cochran, Dermot %A Kiniry, Joseph R. %B VoteID %D 2013 %E Heather, James %E Schneider, Steve A. %E Teague, Vanessa %I Springer %K dblp %P 41-60 %T Formal Model-Based Validation for Tally Systems. %U http://dblp.uni-trier.de/db/conf/voteid/voteid2013.html#CochranK13 %V 7985 %@ 978-3-642-39184-2

@inproceedings{conf/voteid/CochranK13, added-at = {2020-02-27T00:00:00.000+0100}, author = {Cochran, Dermot and Kiniry, Joseph R.}, biburl = {https://www.bibsonomy.org/bibtex/2fc51c0be9dffd505ce99834ef46473bb/dblp}, booktitle = {VoteID}, crossref = {conf/voteid/2013}, editor = {Heather, James and Schneider, Steve A. and Teague, Vanessa}, ee = {https://doi.org/10.1007/978-3-642-39185-9_3}, interhash = {9dbde438672a05f77870fa9bf1d6ad4d}, intrahash = {fc51c0be9dffd505ce99834ef46473bb}, isbn = {978-3-642-39184-2}, keywords = {dblp}, pages = {41-60}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-02-28T11:40:57.000+0100}, title = {Formal Model-Based Validation for Tally Systems.}, url = {http://dblp.uni-trier.de/db/conf/voteid/voteid2013.html#CochranK13}, volume = 7985, year = 2013 }