Details

Title

Translation of probabilistic games in J2TADD

Journal title

Theoretical and Applied Informatics

Yearbook

2013

Volume

vol. 25

Numer

No 3-4

Authors

Keywords

model checking ; Java ; probabilistic game

Divisions of PAS

Nauki Techniczne

Coverage

157-182

Publisher

Institute of Theoretical and Applied Informatics of Polish Academy of Science ; Committee of Informatics of Polish Academy of Science

Date

2013

Type

Article

Identifier

ISSN 1896-5334
×