Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods
dc.contributor.author | Beckert, Bernhard | |
dc.contributor.author | Bormer, Thorsten | |
dc.contributor.author | Gore, Rajeev | |
dc.contributor.author | Kirsten, Michael | |
dc.contributor.author | Meumann, Tom | |
dc.coverage.spatial | Vienna, Austria | |
dc.date.accessioned | 2015-12-10T23:25:15Z | |
dc.date.created | 23-24 July 2014 | |
dc.date.issued | 2014 | |
dc.date.updated | 2015-12-10T10:54:20Z | |
dc.identifier.uri | http://hdl.handle.net/1885/67548 | |
dc.publisher | Conference Organising Committee | |
dc.relation.ispartofseries | 8th International Verification Workshop (VERIFY) | |
dc.source | Proceedings, 8th International Verification Workshop (VERIFY)in connection with IJCAR 2014 at FLoC 2014 | |
dc.title | Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods | |
dc.type | Conference paper | |
local.bibliographicCitation.lastpage | 19 | |
local.bibliographicCitation.startpage | 1 | |
local.contributor.affiliation | Beckert, Bernhard, Karlsruhe Institute of Technology | |
local.contributor.affiliation | Bormer, Thorsten, Karlsruhe Institute of Technology | |
local.contributor.affiliation | Gore, Rajeev, College of Engineering and Computer Science, ANU | |
local.contributor.affiliation | Kirsten, Michael, Karlsruhe Institute of Technology (KIT) | |
local.contributor.affiliation | Meumann, Tom, College of Engineering and Computer Science, ANU | |
local.contributor.authoremail | u9409448@anu.edu.au | |
local.contributor.authoruid | Gore, Rajeev, u9409448 | |
local.contributor.authoruid | Meumann, Tom, u5028081 | |
local.description.embargo | 2037-12-31 | |
local.description.notes | Imported from ARIES | |
local.description.refereed | Yes | |
local.identifier.absfor | 080203 - Computational Logic and Formal Languages | |
local.identifier.absseo | 970108 - Expanding Knowledge in the Information and Computing Sciences | |
local.identifier.ariespublication | u4334215xPUB1474 | |
local.identifier.uidSubmittedBy | u4334215 | |
local.type.status | Published Version |
Downloads
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- 01_Beckert_Reasoning_About_Vote_Counting_2014.pdf
- Size:
- 568.41 KB
- Format:
- Adobe Portable Document Format