@incollection{Greenstreet_1999,
    doi = {10.1007/3-540-48983-5_12},
    url = {https://doi.org/10.1007%2F3-540-48983-5_12},
    year = {1999},
    publisher = {Springer Berlin Heidelberg},
    pages = {103--116},
    author = {Mark R. Greenstreet and Ian Mitchell},
    title = {Reachability Analysis Using Polygonal Projections},
    booktitle = {Hybrid Systems: Computation and Control}
}

@incollection{Greenstreet_1999, doi = {10.1007/3-540-48983-5_12}, url = {https://doi.org/10.1007%2F3-540-48983-5_12}, year = {1999}, publisher = {Springer Berlin Heidelberg}, pages = {103--116}, author = {Mark R. Greenstreet and Ian Mitchell}, title = {Reachability Analysis Using Polygonal Projections}, booktitle = {Hybrid Systems: Computation and Control} }