- Record: found
- Abstract: found
- Book Chapter: found
Tools and Algorithms for the Construction and Analysis of Systems
Symmetry Reduction for the Local Mu-Calculus
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references24
- Record: found
- Abstract: not found
- Article: not found
Nonlinear dynamics of networks: the groupoid formalism
Martin Golubitsky, Ian J Stewart (2006)
- Record: found
- Abstract: not found
- Article: not found
Limits for automatic verification of finite-state concurrent systems
Dexter Kozen, Krzysztof R. Apt (1986)
- Record: found
- Abstract: not found
- Article: not found
Verifying properties of parallel programs: an axiomatic approach
Susan Owicki, David Gries (1976)