- Record: found
- Abstract: not found
- Book Chapter: not found
Tools and Algorithms for the Construction and Analysis of Systems
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
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 references13
- Record: found
- Abstract: not found
- Book Chapter: not found
An automata-theoretic approach to linear temporal logic
Moshe Vardi (1996)
- Record: found
- Abstract: not found
- Article: not found
A new solution of Dijkstra's concurrent programming problem
Leslie Lamport (1974)