Pages that link to "Item:Q2829271"
From MaRDI portal
The following pages link to Verified Operational Transformation for Trees (Q2829271):
Displaying 4 items.
- Formal design and verification of operational transformation algorithms for copies convergence (Q820129) (← links)
- Strong eventual consistency of the collaborative editing framework WOOT (Q2121065) (← links)
- Algebraic Methodology and Software Technology (Q5312983) (← links)
- Computer Aided Verification (Q5716579) (← links)