Rechercher

[RBI12] On Synthesizing a Consistent Operational Transformation Approach

Conférence Internationale avec comité de lecture : 4th International Workshop on Verification of Infinite-State Systems (INFINITY), August 2012, pp.1-6,
motcle:
Résumé: A. Randolph, H. Boucheneb, A. Imine, A. Quintero, “On Synthesizing a Consistent Operational Transformation Approach”, 14th International Workshop on Verification of Infinite-State Systems (INFINITY), August 2012, to appear in EPTCS.

Equipe: vespa

BibTeX

@inproceedings {
RBI12,
title="{On Synthesizing a Consistent Operational Transformation Approach}",
author=" A Randolph and H. Boucheneb and A Imine and A Quintero ",
booktitle="{4th International Workshop on Verification of Infinite-State Systems (INFINITY)}",
year=2012,
month="August",
pages="1-6",
}