Details Details PDF BIBTEX RIS Title Translation of probabilistic games in J2TADD Journal title Theoretical and Applied Informatics Yearbook 2013 Volume vol. 25 Issue No 3-4 Authors Rataj, Artur Keywords model checking ; Java ; probabilistic game Divisions of PAS Nauki Techniczne Coverage 157-182 Publisher Committee of Informatics of Polish Academy of Science ; Institute of Theoretical and Applied Informatics of Polish Academy of Science Date 2013 Type Article Identifier ISSN 1896-5334 Source Theoretical and Applied Informatics; 2013; vol. 25; No 3-4; 157-182 <div class="test"></div>