@inproceedings{QAPL-2017-CastiglioniT,
	author        = "Valentina Castiglioni and Simone Tini",
	booktitle     = "{QAPL@ETAPS}",
	doi           = "10.4204/EPTCS.250.4",
	ee            = "http://arxiv.org/abs/1707.04124",
	pages         = "39--74",
	title         = "{Logical Characterization of Trace Metrics}",
	year          = 2017,
}