Sciweavers

CORR
2010
Springer

Confluence Reduction for Probabilistic Systems (extended version)

13 years 9 months ago
Confluence Reduction for Probabilistic Systems (extended version)
Mark Timmer, Mariëlle Stoelinga, Jaco van de
Added 01 Mar 2011
Updated 01 Mar 2011
Type Journal
Year 2010
Where CORR
Authors Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol
Comments (0)