Sciweavers

Share
SOFSEM
2009
Springer

An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA

9 years 9 days ago
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA
Jens Bachmann, Martin Riedl, Johann Schuster, Mark
Added 17 Mar 2010
Updated 17 Mar 2010
Type Conference
Year 2009
Where SOFSEM
Authors Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle
Comments (0)
books