You are not logged in |
Return to the list of grants
Frontiers of automatic verification: new methods of analysis of infinite-state systems
- Principal investigator
- prof. dr hab. Sławomir Lasota
- Contract number
- 2013/09/B/ST6/01575
- Starting date
- March 20, 2014
- Ending date
- March 19, 2017
- Financed by
- National Science Center
- Participants
- dr Wojciech Czerwiński, dr Lorenzo Clemente, mgr Piotr Hofman
