European Research Ranking Latest Projects www.researchranking.org 2026-07-21T13:31:10+02:00 ERR feed generator 84532 Phase transitions in computational complexity and formal verification: towards generic and realistic approaches Coordinator: INSTITUTUL EAUSTRIA TIMISOARA, Timisoara, RO<br>Funding: 80000.00<br>Start Date: 2007-03-01<br>End Date: 2009-02-28 2007-03-01T00:00:00+01:00 2007-03-01T00:00:00+01:00 45.7534 21.2233