Project information

Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů

Investor logo
Project Identification
GA15-17564S
Project Period
1/2015 - 12/2017
Investor / Pogramme / Project type
Czech Science Foundation
MU Faculty or unit
Faculty of Informatics

Publications

2017

2016

Previous 1 2 Next

You are running an old browser version. We recommend updating your browser to its latest version.

More info