SAMC
From MaRDI portal
Software:5974622
No author found.
Related Items (3)
An Event-B based approach for cloud composite services verification ⋮ Minha: Large-scale distributed systems testing made practical ⋮ Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
This page was built for software: SAMC
