@INPROCEEDINGS{PodelskiWagner02_2007,
AUTHOR = {Podelski, Andreas and Wagner, Silke},
EDITOR = {Bemporad, Alberto and Bicchi, Antonio and Buttazzo, Giorgio C.},
TITLE = {A Sound and Complete Proof Rule for Region Stability of Hybrid Systems},
BOOKTITLE = {Hybrid systems: computation and control : 10th International Conference, HSCC 2007},
PUBLISHER = {Springer},
YEAR = {2007},
VOLUME = {4416},
PAGES = {750--753},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Pisa, Italy},
MONTH = {April},
ISBN = {978-3-540-71492-7},
; ISBN = {3-540-71492-8
},
}
Entry last modified by Silke Wagner, 01/28/2008