Compositionality of Approximate Bisimulation for Probabilistic Systems

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	32-46
Number of pages	15
Journal	Electronic Proceedings in Theoretical Computer Science (EPTCS)
Volume	120
DOIs	https://doi.org/10.4204/EPTCS.120.4
Publication status	Published - 2013

Access to Document

@article{85ef9f855153426da5c1d7ac4e963700,

title = "Compositionality of Approximate Bisimulation for Probabilistic Systems",

author = "D. Gebler and S. Tini",

year = "2013",

doi = "10.4204/EPTCS.120.4",

language = "English",

volume = "120",

pages = "32--46",

journal = "Electronic Proceedings in Theoretical Computer Science (EPTCS)",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - Compositionality of Approximate Bisimulation for Probabilistic Systems

AU - Gebler, D.

AU - Tini, S.

PY - 2013

Y1 - 2013

UR - https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?EXPRESSSOS13

UR - https://www.scopus.com/pages/publications/85007000082

UR - https://www.scopus.com/pages/publications/85007000082#tab=citedBy

U2 - 10.4204/EPTCS.120.4

DO - 10.4204/EPTCS.120.4

M3 - Article

SN - 2075-2180

VL - 120

SP - 32

EP - 46

JO - Electronic Proceedings in Theoretical Computer Science (EPTCS)

JF - Electronic Proceedings in Theoretical Computer Science (EPTCS)

ER -