PIECEMEAL: A Formal Collaborative Editing Technique Guaranteeing Correctness

S Dekeyser; AJH Hidders

PIECEMEAL: A Formal Collaborative Editing Technique Guaranteeing Correctness

S Dekeyser, AJH Hidders

Software Engineering

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

1 Citation (Scopus)

Original language	English
Title of host publication	Proceedings of the IADIS International Conferences Collaborative Technologies 2010 and Web Based Communities 2010
Editors	P Kommers, P Isaias
Place of Publication	Freiburg, Germany
Publisher	IADIS
Pages	125-131
Number of pages	7
Publication status	Published - 2010
Event	IADIS International Conferences Collaborative Technologies 2010 and Web Based Communities 2010 - Freiburg, Germany Duration: 29 Jul 2010 → 31 Jul 2010

Publication series

Name
Publisher	IADIS

Conference

Conference	IADIS International Conferences Collaborative Technologies 2010 and Web Based Communities 2010
Period	29/07/10 → 31/07/10

Keywords

Conf.proc. > 3 pag

Cite this

@inproceedings{6bc9847b995a45668c669c5d5b915808,

title = "PIECEMEAL: A Formal Collaborative Editing Technique Guaranteeing Correctness",

keywords = "Conf.proc. > 3 pag",

author = "S Dekeyser and AJH Hidders",

year = "2010",

language = "English",

publisher = "IADIS",

pages = "125--131",

editor = "P Kommers and P Isaias",

booktitle = "Proceedings of the IADIS International Conferences Collaborative Technologies 2010 and Web Based Communities 2010",

note = "IADIS International Conferences Collaborative Technologies 2010 and Web Based Communities 2010 ; Conference date: 29-07-2010 Through 31-07-2010",

}

Dekeyser, S & Hidders, AJH 2010, PIECEMEAL: A Formal Collaborative Editing Technique Guaranteeing Correctness. in P Kommers & P Isaias (eds), Proceedings of the IADIS International Conferences Collaborative Technologies 2010 and Web Based Communities 2010. IADIS, Freiburg, Germany, pp. 125-131, IADIS International Conferences Collaborative Technologies 2010 and Web Based Communities 2010, 29/07/10.

PIECEMEAL: A Formal Collaborative Editing Technique Guaranteeing Correctness. / Dekeyser, S; Hidders, AJH.
Proceedings of the IADIS International Conferences Collaborative Technologies 2010 and Web Based Communities 2010. ed. / P Kommers; P Isaias. Freiburg, Germany: IADIS, 2010. p. 125-131.

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - PIECEMEAL: A Formal Collaborative Editing Technique Guaranteeing Correctness

AU - Dekeyser, S

AU - Hidders, AJH

PY - 2010

Y1 - 2010

KW - Conf.proc. > 3 pag

UR - http://www.st.ewi.tudelft.nl/~hidders/docs/IADIS-2010-final.pdf

M3 - Conference contribution

SP - 125

EP - 131

BT - Proceedings of the IADIS International Conferences Collaborative Technologies 2010 and Web Based Communities 2010

A2 - Kommers, P

A2 - Isaias, P

PB - IADIS

CY - Freiburg, Germany

T2 - IADIS International Conferences Collaborative Technologies 2010 and Web Based Communities 2010

Y2 - 29 July 2010 through 31 July 2010

ER -

PIECEMEAL: A Formal Collaborative Editing Technique Guaranteeing Correctness

Publication series

Conference

Keywords

Other files and links

Cite this