SAMC

swMATH44345MaRDI QIDQ5974622FDOQ5974622

Author name not available (Why is that?)

Cited In (3)

• An Event-B based approach for cloud composite services verification
• Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
• Minha: Large-scale distributed systems testing made practical

This page was built for software: SAMC