A Semi-Automatic Correctness Proof Procedure applied to Stoller's Leader Election Algorithm
Rapport, 2008
Författare
Hans Svensson
Chalmers, Data- och informationsteknik, Datavetenskap
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)
Technical report - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 2008:7