BibSLEIGH
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
Collaborated with:
S.Tini D.Gebler
Talks about:
character (2) metric (2) logic (2) bisimul (1) trace (1)

Person: Valentina Castiglioni

DBLP DBLP: Castiglioni:Valentina

Contributed to:

QAPL 20162016
QAPL 20172017

Wrote 2 papers:

QAPL-2016-CastiglioniGT #bisimulation #logic #metric
Logical Characterization of Bisimulation Metrics (VC, DG, ST), pp. 44–62.
QAPL-2017-CastiglioniT #logic #metric
Logical Characterization of Trace Metrics (VC, ST), pp. 39–74.
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.