Logical Characterization of Bisimulation Metrics
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Valentina Castiglioni, Daniel Gebler, Simone Tini
Logical Characterization of Bisimulation Metrics
QAPL, 2016.

QAPL 2016
DBLP
Scholar
?EE?
?EE?
DOI
Full names Links ISxN
@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,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.