%0 Journal Article %1 journals/fuin/YamanPG21 %A Yaman, Sinem Getir %A Pavese, Esteban %A Grunske, Lars %D 2021 %J Fundam. Informaticae %K dblp %N 2 %P 135-163 %T Quantitative Verification of Stochastic Regular Expressions. %U http://dblp.uni-trier.de/db/journals/fuin/fuin179.html#YamanPG21 %V 179

@article{journals/fuin/YamanPG21, added-at = {2022-01-03T00:00:00.000+0100}, author = {Yaman, Sinem Getir and Pavese, Esteban and Grunske, Lars}, biburl = {https://www.bibsonomy.org/bibtex/25a8ceec330aa6b3d4a93d224867a1b77/dblp}, ee = {https://doi.org/10.3233/FI-2021-2018}, interhash = {211632d7f958b340d3f0b8918cfbedcc}, intrahash = {5a8ceec330aa6b3d4a93d224867a1b77}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = 2, pages = {135-163}, timestamp = {2024-04-08T10:04:26.000+0200}, title = {Quantitative Verification of Stochastic Regular Expressions.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin179.html#YamanPG21}, volume = 179, year = 2021 }