Record: found
Abstract: not found
Book Chapter: not found

Linear Ranking with Reachability

other

Author(s): Aaron R. Bradley , Zohar Manna , Henny B. Sipma

Publication date (Print): 2005

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

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 references 15

Record: found
Abstract: not found
Book Chapter: not found

Quantifier elimination for real closed fields by cylindrical algebraic decompostion

George E. Collins (1975)

0 comments Cited 118 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

A Complete Method for the Synthesis of Linear Ranking Functions

Andreas Podelski, Andrey Rybalchenko (2004)

0 comments Cited 68 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Linear Invariant Generation Using Non-linear Constraint Solving

Michael Colón, Sriram Sankaranarayanan, Henny B. Sipma (2003)

0 comments Cited 58 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2005

Pages: 491-504

DOI: 10.1007/11513988_48

SO-VID: 57a30a53-ec65-4ffd-9e22-e7806717e435

History

Data availability:

Linear Ranking with Reachability

Read this book at

Related collections

ScienceOpen Research

Most cited references 15

Quantifier elimination for real closed fields by cylindrical algebraic decompostion

A Complete Method for the Synthesis of Linear Ranking Functions

Linear Invariant Generation Using Non-linear Constraint Solving

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,498

Cited by 35