Logical Characterization of Bisimulation Metrics

CASTIGLIONI, VALENTINA;TINI, SIMONE
2016-01-01

2016
14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016. Electronic Proceedings in Theoretical Computer Science
14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016
Eindhoven, The Netherlands
April 2-3, 2016
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/2057222
 Attenzione

L'Ateneo sottopone a validazione solo i file PDF allegati

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 23
  • ???jsp.display-item.citation.isi??? 14
social impact