@article{doi:10.1142/S0129054115400018,
    Abstract = {We introduce FPSOLVE, an implementation of generic algorithms for solving fixpoint equations over semirings. We first illustrate the interest of generic solvers by means of a scenario. We then succinctly describe some of the algorithms implemented in the tool, and provide some implementation details.},
    Author = {Esparza, Javier and Luttenberger, Michael and Schlund, Maximilian},
    EPrint = {https://doi.org/10.1142/S0129054115400018},
    File = {ciaa2014 (0) - a - a - f.pdf},
    Journal = {International Journal of Foundations of Computer Science},
    Number = {07},
    Pages = {805-825},
    Title = {FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings},
    URL = {https://doi.org/10.1142/S0129054115400018},
    Volume = {26},
    Year = {2015},
    bdsk-url-1 = {https://doi.org/10.1142/S0129054115400018},
    date-added = {2018-07-19 15:51:27 +0000},
    date-modified = {2018-07-19 15:51:27 +0000},
    doi = {10.1142/S0129054115400018}
}

@article{doi:10.1142/S0129054115400018, Abstract = {We introduce FPSOLVE, an implementation of generic algorithms for solving fixpoint equations over semirings. We first illustrate the interest of generic solvers by means of a scenario. We then succinctly describe some of the algorithms implemented in the tool, and provide some implementation details.}, Author = {Esparza, Javier and Luttenberger, Michael and Schlund, Maximilian}, EPrint = {https://doi.org/10.1142/S0129054115400018}, File = {ciaa2014 (0) - a - a - f.pdf}, Journal = {International Journal of Foundations of Computer Science}, Number = {07}, Pages = {805-825}, Title = {FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings}, URL = {https://doi.org/10.1142/S0129054115400018}, Volume = {26}, Year = {2015}, bdsk-url-1 = {https://doi.org/10.1142/S0129054115400018}, date-added = {2018-07-19 15:51:27 +0000}, date-modified = {2018-07-19 15:51:27 +0000}, doi = {10.1142/S0129054115400018} }