@misc{indiciae7db4a5cfb771,
  title = {MiniOS: an instructional platform for teaching operating systems labs},
  author = {Rafael Roman Otero and Alex Aravind},
  year = {2018},
  url = {https://arxiv.org/abs/1811.09792},
  note = {Source identifier: 1811.09792}
}