Return to the list of grants
Mathematical methods of verification of information systems
- Principal investigator
- prof. dr hab. Damian Niwiński
- Contract number
- 7 T11C 027 20
- Starting date
- Jan. 1, 2001
- Ending date
- Dec. 31, 2002
- Financed by
- State Committee for Scientific Research
- Participants
- dr hab. Damian Niwiński, dr hab. Igor Walukiewicz, mgr Mikołaj Bojańczyk, mgr Marcin Rychlik, dr hab. Jerzy Tyszkiewicz, mgr Tomasz Urbański, dr Stefan Dziembowski, dr Marcin Jurdziński