TY - CPAPER AU - Piotr Pecka AU - Mateusz Nowak AU - Artur Rataj AU - Sławomir Nowak BT - Int. Symposium on Computer and Information Sciences. ISCIS 2018 DA - 2018 LA - eng PY - 2018 T2 - Int. Symposium on Computer and Information Sciences. ISCIS 2018 TI - Solving large Markov models described with standard programming language ER -