Javier Esparza, Michael Luttenberger, Maximilian Schlund. FPsolve: A Generic Solver for Fixpoint Equations over Semirings. In Markus Holzer, Martin Kutrib, editors, Implementation and Application of Automata - 19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014. Proceedings. Volume 8587 of Lecture Notes in Computer Science, pages 1-15, Springer, 2014. [doi]
@inproceedings{EsparzaLS14-0,
title = {FPsolve: A Generic Solver for Fixpoint Equations over Semirings},
author = {Javier Esparza and Michael Luttenberger and Maximilian Schlund},
year = {2014},
doi = {10.1007/978-3-319-08846-4_1},
url = {http://dx.doi.org/10.1007/978-3-319-08846-4_1},
researchr = {https://researchr.org/publication/EsparzaLS14-0},
cites = {0},
citedby = {0},
pages = {1-15},
booktitle = {Implementation and Application of Automata - 19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014. Proceedings},
editor = {Markus Holzer and Martin Kutrib},
volume = {8587},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-08845-7},
}