Nie jesteś zalogowany |
Powrót do listy grantów
Games for Design and Verification (GAMES)
- Data rozpoczęcia
- 1 marca 2008
- Data zakończenia
- 31 marca 2013
- Finansowany przez
- European Science Foundation
- Wykonawcy
- dr Mikołaj Bojańczyk, dr hab. Sławomir Lasota
- Słowa kluczowe
- games, logic and automata, synthesis, verification, reactive systems
