Of Elections and Electrons

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30206-3_2 ◽

2004 ◽

pp. 3-4

Author(s):

Peter Y. Ryan

Download Full-text