|
 
|
[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:
sys
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", | |
| } | |||
