• Media type: E-Article
  • Title: Equivalences for Silent Transitions in Probabilistic Systems
  • Contributor: Andova, S.; Willemse, T.A.C.
  • imprint: Elsevier BV, 2005
  • Published in: Electronic Notes in Theoretical Computer Science
  • Language: English
  • DOI: 10.1016/j.entcs.2004.11.028
  • ISSN: 1571-0661
  • Keywords: General Computer Science ; Theoretical Computer Science
  • Origination:
  • Footnote:
  • Access State: Open Access