Gábor Horváth 0002, Miklós Telek. Markovian Performance Evaluation with BuTools. In Antonio Puliafito, Kishor S. Trivedi, editors, Systems Modeling: Methodologies and Tools. pages 253-268, Springer, 2019. [doi]
@incollection{0002T19-3, title = {Markovian Performance Evaluation with BuTools}, author = {Gábor Horváth 0002 and Miklós Telek}, year = {2019}, doi = {10.1007/978-3-319-92378-9_16}, url = {https://doi.org/10.1007/978-3-319-92378-9_16}, researchr = {https://researchr.org/publication/0002T19-3}, cites = {0}, citedby = {0}, pages = {253-268}, booktitle = {Systems Modeling: Methodologies and Tools}, editor = {Antonio Puliafito and Kishor S. Trivedi}, publisher = {Springer}, isbn = {978-3-319-92378-9}, }