Skip to content

Verified Operational Transformation for Trees.

Sergey Sinchuk, Pavel Chuprikov, Konstantin Solomatov

VenueBITP
Year2016
ProceedingsITP

Browse the full ITP paper archive.