Unison

MaRDI QIDQ25222swMATHFDO

Official website http://link.springer.com/chapter/10.1007/3-540-45500-0_28

Cited in

(3)

• Normalization of edit sequences for text synchronization
• Exploiting schemas in data synchronization
• Models and Software Model Checking of a Distributed File Replication System

This page was built for software: Unison