MODIST
From MaRDI portal
Software:24963
No author found.
Related Items (3)
Combining Model Checking and Testing ⋮ 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: MODIST
