-mark aagaard
aagaard@cs.ubc.ca
LMS86
Lamport, Leslie, and Melliar-Smith, P. M.
BYZANTINE CLOCK SYNCHRONIZATION.
Operating Systems Review (ACM) Oper Syst Rev (ACM) v 20 n 3
Jul 1986 p 10-16 1986, ISSN 0163-5980,
@article{RvH93,
author = {Rushby, John and von Henke, Friedrich},
title = {Formal Verification of Algorithms for Critical Systems},
journal = IEEE Transactions on Software Engineering
volume = 19,
number = 1
year = 1993,
month = jan,
pages = {13-23}
}