Hampa

swMATH46000MaRDI QIDQ5973024FDOQ5973024

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-030-53288-8_16

Described by source

• \textsc{Hampa}: solver-aided recency-aware replication

This page was built for software: Hampa