MODIST

swMATH13044MaRDI QIDQ24963FDOQ24963

Author name not available (Why is that?)

Cited In (3)

• Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
• Minha: Large-scale distributed systems testing made practical
• Combining Model Checking and Testing

This page was built for software: MODIST