Skip navigation
Skip navigation

Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods

CollectionsANU Research Publications
Date published: 2014
Type: Conference paper
URI: http://hdl.handle.net/1885/67548
Source: Proceedings, 8th International Verification Workshop (VERIFY)in connection with IJCAR 2014 at FLoC 2014

Download

File Description SizeFormat Image
01_Beckert_Reasoning_About_Vote_Counting_2014.pdf568.41 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator