External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle. An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. In Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia, editors, SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Volume 5404 of Lecture Notes in Computer Science, pages 485-496, Springer, 2009. [doi]

Authors

Jens Bachmann

This author has not been identified. Look up 'Jens Bachmann' in Google

Martin Riedl

This author has not been identified. Look up 'Martin Riedl' in Google

Johann Schuster

This author has not been identified. Look up 'Johann Schuster' in Google

Markus Siegle

This author has not been identified. Look up 'Markus Siegle' in Google
runs on