CASPA

swMATH2863MaRDI QIDQ15401

No author found.

Described by source

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

Related Items (3)

Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications ⋮ Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. ⋮ A New Algorithm for Partitioned Symbolic Reachability Analysis

This page was built for software: CASPA