Sinem Getir Yaman, Esteban Pavese, Lars Grunske. Quantitative Verification of Stochastic Regular Expressions. Fundamenta Informaticae, 179(2):135-163, 2021. [doi]
@article{YamanPG21, title = {Quantitative Verification of Stochastic Regular Expressions}, author = {Sinem Getir Yaman and Esteban Pavese and Lars Grunske}, year = {2021}, doi = {10.3233/FI-2021-2018}, url = {https://doi.org/10.3233/FI-2021-2018}, researchr = {https://researchr.org/publication/YamanPG21}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {179}, number = {2}, pages = {135-163}, }