@incollection{greenstreet:1996,
    Author = {Greenstreet, Mark R.},
    BookTitle = {Computer Aided Verification},
    Editor = {Alur, Rajeev and Henzinger, Thomas A.},
    File = {Verifying safety properties of differential equations - Greenstreet (0) (0) - a - a - z.pdf},
    ISBN = {978-3-540-61474-6},
    Keywords = {hybrid systems},
    Pages = {277-287},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Verifying safety properties of differential equations},
    URL = {http://dx.doi.org/10.1007/3-540-61474-5\_76},
    Volume = {1102},
    Year = {1996},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-61474-5\_76},
    date-added = {2013-11-17 15:31:33 +0000},
    date-modified = {2013-11-25 20:40:20 +0000},
    file-2 = {Verifying safety properties of differential equations - Greenstreet (1) (0) - a - a - z.pdf},
    doi = {10.1007/3-540-61474-5_76}
}

@incollection{greenstreet:1996, Author = {Greenstreet, Mark R.}, BookTitle = {Computer Aided Verification}, Editor = {Alur, Rajeev and Henzinger, Thomas A.}, File = {Verifying safety properties of differential equations - Greenstreet (0) (0) - a - a - z.pdf}, ISBN = {978-3-540-61474-6}, Keywords = {hybrid systems}, Pages = {277-287}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Verifying safety properties of differential equations}, URL = {http://dx.doi.org/10.1007/3-540-61474-5_76}, Volume = {1102}, Year = {1996}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-61474-5_76}, date-added = {2013-11-17 15:31:33 +0000}, date-modified = {2013-11-25 20:40:20 +0000}, file-2 = {Verifying safety properties of differential equations - Greenstreet (1) (0) - a - a - z.pdf}, doi = {10.1007/3-540-61474-5_76} }