@article{Case:2018:RPC:3230015.3230076,
    Address = {Norwell, MA, USA},
    Author = {Case, Adam and Lutz, Jack H. and Stull, D. M.},
    File = {1508.04125 (0) (0) - a - a - z.pdf},
    ISSN = {1567-7818},
    Keywords = {Analysis of algorithms, Continuous chemical reaction networks, Reachability},
    Month = {June},
    Number = {2},
    Pages = {223--230},
    Publisher = {Kluwer Academic Publishers},
    Title = {Reachability Problems for Continuous Chemical Reaction Networks},
    URL = {https://doi.org/10.1007/s11047-017-9641-2},
    Volume = {17},
    Year = {2018},
    acmid = {3230076},
    bdsk-url-1 = {https://doi.org/10.1007/s11047-017-9641-2},
    date-added = {2019-04-05 11:32:08 +0200},
    date-modified = {2019-04-05 11:32:08 +0200},
    issue_date = {June 2018},
    numpages = {8},
    doi = {10.1007/s11047-017-9641-2}
}

@article{Case:2018:RPC:3230015.3230076, Address = {Norwell, MA, USA}, Author = {Case, Adam and Lutz, Jack H. and Stull, D. M.}, File = {1508.04125 (0) (0) - a - a - z.pdf}, ISSN = {1567-7818}, Keywords = {Analysis of algorithms, Continuous chemical reaction networks, Reachability}, Month = {June}, Number = {2}, Pages = {223--230}, Publisher = {Kluwer Academic Publishers}, Title = {Reachability Problems for Continuous Chemical Reaction Networks}, URL = {https://doi.org/10.1007/s11047-017-9641-2}, Volume = {17}, Year = {2018}, acmid = {3230076}, bdsk-url-1 = {https://doi.org/10.1007/s11047-017-9641-2}, date-added = {2019-04-05 11:32:08 +0200}, date-modified = {2019-04-05 11:32:08 +0200}, issue_date = {June 2018}, numpages = {8}, doi = {10.1007/s11047-017-9641-2} }