Analysing Vote Counting Algorithms Via Logic

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of the fourth Conference on E-Voting and Identity (VOTEID'13)
Publisher	Springer
Publication date	2013
ISBN (Print)	978-3-642-39184-2
Publication status	Published - 2013

Series	Lecture Notes in Computer Science
Volume	7985
ISSN	0302-9743

Access to Document

@inproceedings{c8ee03b47253459fa161920079134c65,

title = "Analysing Vote Counting Algorithms Via Logic",

author = "Carsten Sch{\"u}rmann and Bernhard Beckert and Rajeev Gore",

year = "2013",

language = "English",

isbn = "978-3-642-39184-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

booktitle = "Proceedings of the fourth Conference on E-Voting and Identity (VOTEID'13)",

address = "Germany",

}