@misc{indiciae80dfaebc1903,
  title = {Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation},
  author = {Mbarka Soualhia and Foutse Khomh and Sofiene Tahar},
  year = {2021},
  doi = {10.4204/eptcs.342.10},
  url = {https://arxiv.org/abs/2109.04196},
  note = {Source identifier: 2109.04196}
}