- Record: found
- Abstract: not found
- Book Chapter: not found
Tools and Algorithms for the Construction and Analysis of Systems
Symbolic Model-Checking Using ITS-Tools
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 references21
- Record: found
- Abstract: not found
- Book Chapter: not found
What good are digital clocks?
Thomas Henzinger, Zohar Manna, Amir Pnueli (1992)
- Record: found
- Abstract: not found
- Article: not found
Modalities for model checking: branching time logic strikes back
E. Allen Emerson, Chin-Laung Lei (1987)