@misc{indiciae06334b336e99,
  title = {Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC},
  author = {Igor V. Tarasyuk and Hermenegilda Macià and Valentín Valero},
  year = {2017},
  url = {https://arxiv.org/abs/1702.07478},
  note = {Source identifier: 1702.07478}
}