@inproceedings{QAPL-2016-CastiglioniGT,
	author        = "Valentina Castiglioni and Daniel Gebler and Simone Tini",
	booktitle     = "{Proceedings of the 14th Workshop on Quantitative Aspects of Programming Languages and Systems}",
	doi           = "10.4204/EPTCS.227.4",
	ee            = "http://arxiv.org/abs/1610.08169",
	ee            = "https://www.wikidata.org/entity/Q28112229",
	pages         = "44--62",
	title         = "{Logical Characterization of Bisimulation Metrics}",
	year          = 2016,
}