You are not logged in | Log in
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
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