Formal design and verification of operational transformation algorithms for copies convergence

From MaRDI portal
(Redirected from Publication:820129)