%0 Conference Paper %1 imine03:_vote %A Imine, Abdessamad %A Molli, Pascal %A Oster, Gérald %A Urso, Pascal %B International Workshop on First-Order Theorem Proving (FTP 2003) %C Valencia, Spain %D 2003 %K CSCW OT operational transformation %T VOTE: Group Editors Analyzing Tool

@inproceedings{imine03:_vote, added-at = {2007-06-21T16:20:22.000+0200}, address = {Valencia, Spain}, author = {Imine, Abdessamad and Molli, Pascal and Oster, Gérald and Urso, Pascal}, biburl = {https://www.bibsonomy.org/bibtex/2c3eb3524b17c06c897fc404288f7a27b/momo54}, booktitle = {International Workshop on First-Order Theorem Proving (FTP 2003)}, category = {5}, description = {molli}, interhash = {983a9078e2a2d0aa629f548637524583}, intrahash = {c3eb3524b17c06c897fc404288f7a27b}, keywords = {CSCW OT operational transformation}, month = {June}, timestamp = {2007-06-21T16:27:42.000+0200}, title = {VOTE: Group Editors Analyzing Tool}, year = 2003 }