Analysing Vote Counting Algorithms Via Logic

Carsten Schürmann, Bernhard Beckert, Rajeev Gore

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	Proceedings of the fourth Conference on E-Voting and Identity (VOTEID'13)
Forlag	Springer
Publikationsdato	2013
ISBN (Trykt)	978-3-642-39184-2
Status	Udgivet - 2013

Navn	Lecture Notes in Computer Science
Vol/bind	7985
ISSN	0302-9743

Adgang til dokumentet

@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",

}

Analysing Vote Counting Algorithms Via Logic. / Schürmann, Carsten; Beckert, Bernhard; Gore, Rajeev.
Proceedings of the fourth Conference on E-Voting and Identity (VOTEID'13). Springer, 2013. (Lecture Notes in Computer Science, Bind 7985).

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review