Fontaine, A., & Zemmari, A. RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model. Alexandru Ioan Cuza University of Iasi.
Chicago Style (17th ed.) CitationFontaine, A., and A. Zemmari. RDA: A Coq Library to Reason About Randomised Distributed Algorithms in the Message Passing Model. Alexandru Ioan Cuza University of Iasi.
MLA (9th ed.) CitationFontaine, A., and A. Zemmari. RDA: A Coq Library to Reason About Randomised Distributed Algorithms in the Message Passing Model. Alexandru Ioan Cuza University of Iasi.
Warning: These citations may not always be 100% accurate.