IRIS - Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi dell’Insubria.

IRInSubria - Institutional Repository Insubria
IRInSubria raccoglie, conserva, documenta e dissemina le informazioni sulla produzione scientifica dell'Università degli Studi dell’Insubria anche ai fini della valutazione della ricerca.

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
Relazione (in Volume)
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