• 204 Citations
  • 9 h-Index
20052019
If you made any changes in Pure these will be visible here soon.

Research Output 2005 2019

Filter
Working paper
2010
10 Downloads (Pure)

Confluence Reduction for Probabilistic Systems (extended version)

Timmer, M., Stoelinga, M. I. A. & van de Pol, J. C., 10 Nov 2010, Ithaca, NY, USA: ArXiv e-prints, 28 p.

Research output: Working paperProfessional

Open Access
File