Compositionality of Approximate Bisimulation for Probabilistic Systems

Contributo in Atti di convegno
Data di Pubblicazione:
2013
Tipologia CRIS:
Relazione (in Rivista)
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://irinsubria.uninsubria.it/handle/11383/1891920
Pubblicato in:
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Journal