Unison

swMATH13307MaRDI QIDQ25222FDOQ25222

Author name not available (Why is that?)

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