Szczegóły Szczegóły PDF BIBTEX RIS Tytuł artykułu Translation of probabilistic games in J2TADD Tytuł czasopisma Theoretical and Applied Informatics Rocznik 2013 Wolumin vol. 25 Numer No 3-4 Autorzy Rataj, Artur Słowa kluczowe model checking ; Java ; probabilistic game Wydział PAN Nauki Techniczne Zakres 157-182 Wydawca Committee of Informatics of Polish Academy of Science ; Institute of Theoretical and Applied Informatics of Polish Academy of Science Data 2013 Typ Article Identyfikator ISSN 1896-5334 Źródło Theoretical and Applied Informatics; 2013; vol. 25; No 3-4; 157-182 <div class="test"></div>