Vol-1845⫷ Vol-1846 ⫸Vol-1847
urn:nbn:de:0074-1846-0


Vol-1846/paper10⫷Vol-1846/paper11⫸Vol-1846/paper12
Rui Wang 0048Lars Michael KristensenHein MelingVolker Stolz

Application of Model-based Testing on a Quorum-based Distributed Storage