Nie jesteś zalogowany |
Powrót do listy grantów
Games and Automata for Synthesis and Verification
- Koordynator
- prof. dr hab. Jerzy Tyszkiewicz
- Numer umowy
- 501/77/283
- Data rozpoczęcia
- 28 sierpnia 2002
- Data zakończenia
- 31 grudnia 2006
- Finansowany przez
- Komisja Europejska
- Wykonawcy
- Michal Bielecki, Mikolaj Bojanczyk, Stefan Dziembowski, Marcin Jurdzinski, Lukasz Krzeszczakowski, Slawomir Lasota, Damian Niwinski, Marcin Peczarski, Michal Przybylski, Aleksy Schubert, Pawel Tatarczak, Jerzy Tyszkiewicz
