Infinite Games for Program Verification: Combinatorial Approach

01.07.2007 - 31.10.2009
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Grant funds

  • Vereine, Stiftungen, Preise Type of funder Vereine, Stiftungen, Preise Specific program Vetenskapsradet, Swedish Research Council

Forschungsschwerpunkte

  • Computational Intelligence: 100%

Publikationen