Location
Toggle navigation
HOME
INSTITUTE
Mission
Address
Executive Board
Directorate
Scientific Advisory Board
Board of Trustees
Home
Publications, generated: 14:38, 18 May 2024
Publications: Programming Logics Group
Login to this database
Publications
Search the publication database
Search in field
Author
Editor
Title
for
.
Return
HTML Format
BibTeX Format
Your search returned the following document:
A Sound and Complete Proof Rule for Region Stability of Hybrid Systems
Andreas Podelski and Silke Wagner
In:
Hybrid systems: computation and control : 10th International Conference, HSCC 2007
, Pisa, Italy, 2007, 750-753