CASPA

swMATH2863MaRDI QIDQ15401FDOQ15401

Author name not available (Why is that?)

Official website: http://www.springerlink.com/content/gt1l20l73623x013/fulltext.pdf

Described by source

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

Cited In (3)

• Parameter and Controller Synthesis for Markov Chains with Actions and State Labels.
• A new algorithm for partitioned symbolic reachability analysis
• Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications

This page was built for software: CASPA