@Inproceedings{qapl15,
  author    = "Latella, D. and Massink, M. and Vink, E.P. de",
  year      = "2015",
  title     = "A Definition Scheme for Quantitative Bisimulation",
  editor    = "Bertrand, N. and Tribastone, M.",
  booktitle = "Proceedings Thirteenth International Workshop on
               Quantitative Aspects of Programming Languages and
               Systems, London, 11--12 April 2015",
  series    = "Electronic Proceedings in Theoretical Computer Science",
  note      = "16pp",
  doi       = "10.4204/EPTCS.??.3",
}