- Record: found
- Abstract: not found
- Book Chapter: not found
Tools and Algorithms for the Construction and Analysis of Systems
All-Termination(T)
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 references10
- Record: found
- Abstract: not found
- Book Chapter: not found
Automated Termination Proofs with AProVE
Jürgen Giesl, René Thiemann, Peter Schneider-Kamp … (2004)
- Record: found
- Abstract: not found
- Book Chapter: not found
Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming
Patrick Cousot (2005)
- Record: found
- Abstract: not found
- Book Chapter: not found
Termination of Linear Programs
Ashish Tiwari (2004)