%0 Journal Article %1 journals/tcs/ImineROM06 %A Imine, Abdessamad %A Rusinowitch, Michaël %A Oster, Gérald %A Molli, Pascal %D 2006 %J Theor. Comput. Sci. %K %N 2 %P 167-183 %T Formal design and verification of operational transformation algorithms for copies convergence. %U http://dblp.uni-trier.de/db/journals/tcs/tcs351.html#ImineROM06 %V 351

@article{journals/tcs/ImineROM06, added-at = {2023-12-12T22:00:23.000+0100}, author = {Imine, Abdessamad and Rusinowitch, Michaël and Oster, Gérald and Molli, Pascal}, biburl = {https://www.bibsonomy.org/bibtex/281f74b1de9dd1047b77967168519a5a3/admin}, date = {2006-04-18}, ee = {http://dx.doi.org/10.1016/j.tcs.2005.09.066}, interhash = {45b3676678186aa63234f57a2d79b9d0}, intrahash = {81f74b1de9dd1047b77967168519a5a3}, journal = {Theor. Comput. Sci.}, keywords = {}, number = 2, pages = {167-183}, timestamp = {2023-12-12T22:00:23.000+0100}, title = {Formal design and verification of operational transformation algorithms for copies convergence.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs351.html#ImineROM06}, volume = 351, year = 2006 }