Normal view MARC view

Proofs of correctness of ADDM algorithms (Topical Term)

Preferred form: Proofs of correctness of ADDM algorithms

Machine generated authority record.

Work cat.: (OSt)194386: Ghosh, Sumit. 177113, Algorithm design for networked information technology systems/, 2011.