@proceedings{72,
  author = {Pedro D'Argenio and Marcus Gerhold and Arnd Hartmanns and Sean Sedwards},
  title = {A Hierarchy of Scheduler Classes for Stochastic Automata},
  year = {2018},
  volume = {10803},
  pages = {384\textendash402},
  publisher = {Springer},
  address = {Thessaloniki, Greece},
  url = {https://link.springer.com/chapter/10.1007/978-3-319-89366-2_21},
}