@misc{indiciae60c873c00e72,
  title = {Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems},
  author = {Mirco Tribastone and Herbert Wiklicky},
  year = {2016},
  doi = {10.4204/eptcs.227},
  url = {https://arxiv.org/abs/1610.07696},
  note = {Source identifier: 1610.07696}
}