Algorithmic Analysis of Nonlinear Hybrid Systems (1996)  (Make Corrections)  (77 citations) Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-ToiProceedings of the 7th International Conference On Computer Aided Verification   Home/Search   Context   Related Links:   ACM   DBLP

View or download: berkeley.edu/~tah/..._hybrid_systems.ps parades.rm.cnr.it/~ho...nonlinear.ps.gz Cached:  PS.gz  PS  PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.   PS.gz  PS  PDF   Image  Update  Help Problem Downloading? From:  berkeley.edu/~t..._hybrid_systems (more) (Enter author homepages)

Rate this article: (best)   Comment on this article

@inproceedings{ henzinger95algorithmic,
    author = "{T. A. Henzinger} and {P. -H. Ho}",
    title = "Algorithmic analysis of Nonlinear Hybrid Systems",
    booktitle = "Proceedings of the 7th International Conference On Computer Aided Verification",
    volume = "939",
    publisher = "Springer Verlag",
    address = "Liege, Belgium",
    editor = "{P. Wolper}",
    pages = "225--238",
    year = "1995",
    url = "citeseer.ist.psu.edu/henzinger96algorithmic.html" }