Library
search
local_library
Repository
MB
Mitra Tabaei Befrouei
View Pure Profile
Authored
1 records found
Randomized testing of distributed systems with probabilistic guarantees
Journal article -
Burcu Kulahcioglu Ozkan
,
Rupak Majumdar
,
Filip Niksic
,
Mitra Tabaei Befrouei
,
Georg Weissenbacher