by Jerzy Brzeziński, Anna Kobusińska, Jacek Kobusiński, Michał Szychowiak
Reference:
rVsRYW recovery protocol --– implementation and correctness proof (Jerzy Brzeziński, Anna Kobusińska, Jacek Kobusiński, Michał Szychowiak), Technical report, CSPUT, 2005.
Bibtex Entry:
@TECHREPORT{BKKS05a,
author = {Jerzy Brzeziński and Anna Kobusińska and Jacek Kobusiński and Michał
Szychowiak},
title = {{rVsRYW} recovery protocol --– implementation and correctness proof},
institution = CSPUT,
year = {2005},
number = {RA-016/05}
}