You are not logged in |
Return to the list of grants
Simulation and bisimulation for context-free and pushdown system.
- Principal investigator
- dr Piotr Hofman
- Contract number
- 2012/05/N//ST6/03226
- Starting date
- Feb. 6, 2013
- Ending date
- Aug. 5, 2014
- Financed by
- National Science Center
