Knowledge-based modelling of voting protocols.

Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh

Browse the full TARK paper archive.