Unison

swMATH13307MaRDI QIDQ25222FDOQ25222

Author name not available (Why is that?)

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