@article{bibcite_14978, author = {Artur Rataj and Mateusz Nowak and Piotr Pecka}, title = {Modelling CTMC with a standard programming language and using conventions from computer networking}, year = {2011}, journal = {Theoretical and Applied Informatics}, volume = {23}, number = {3-4}, pages = {229{\textendash}243}, issn = {1896-5334}, language = {eng}, }