%0 Report %1 ostertochi05 %A Oster, Gérald %A Urso, Pascal %A Molli, Pascal %A Imine, Abdessamad %D 2005 %K OT collaborative-editing %N RR-5795 %T Proving correctness of transformation functions in collaborative editing systems

@techreport{ostertochi05, 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/2a4ece1c8b46900195c8b3837ceaf5c77/momo54}, description = {molli}, institution = {INRIA}, interhash = {1a93ddb660f9243223fc1f8e3ec99c28}, intrahash = {a4ece1c8b46900195c8b3837ceaf5c77}, keywords = {OT collaborative-editing}, month = {December}, number = {RR-5795}, timestamp = {2007-06-21T16:27:42.000+0200}, title = {Proving correctness of transformation functions in collaborative editing systems}, year = 2005 }