%0 Journal Article %1 oster06jcscw %A Oster, Gérald %A Urso, Pascal %A Molli, Pascal %A Imine, Abdessamad %D 2006 %J Journal of CSCW (Submitted) %K OT editor real-time %T Proving Correctness of Transformation Functions in Collaborative Editing Systems

@article{oster06jcscw, added-at = {2007-06-21T16:20:22.000+0200}, author = {Oster, Gérald and Urso, Pascal and Molli, Pascal and Imine, Abdessamad}, biburl = {https://www.bibsonomy.org/bibtex/232c149c273b86ccf90c5ff4e5c396290/momo54}, category = {15}, description = {molli}, interhash = {3db56973a8afc6e98116ab7dff5f7111}, intrahash = {32c149c273b86ccf90c5ff4e5c396290}, journal = {Journal of CSCW (Submitted)}, keywords = {OT editor real-time}, timestamp = {2007-06-21T16:27:42.000+0200}, title = {Proving Correctness of Transformation Functions in Collaborative Editing Systems}, year = 2006 }