@incollection{Asarin_2003,
    doi = {10.1007/3-540-36580-x_5},
    url = {https://doi.org/10.1007%2F3-540-36580-x_5},
    year = {2003},
    publisher = {Springer Berlin Heidelberg},
    pages = {20--35},
    author = {Eugene Asarin and Thao Dang and Antoine Girard},
    title = {Reachability Analysis of Nonlinear Systems Using Conservative Approximation},
    booktitle = {Hybrid Systems: Computation and Control}
}

@incollection{Asarin_2003, doi = {10.1007/3-540-36580-x_5}, url = {https://doi.org/10.1007%2F3-540-36580-x_5}, year = {2003}, publisher = {Springer Berlin Heidelberg}, pages = {20--35}, author = {Eugene Asarin and Thao Dang and Antoine Girard}, title = {Reachability Analysis of Nonlinear Systems Using Conservative Approximation}, booktitle = {Hybrid Systems: Computation and Control} }