Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Dr. Patrick Totzke

Address The University of Liverppol
Department of Computer Science
Ashton Street
Liverpool L69 3BX
Großbritannien

ORCID-ID 0000-0001-5274-8190

Projects

As Applicant
- Current projects
  - Taming non-determinism in infinite-state systems using games (Research Grants)

© 2024 DFG Disclaimer / Copyright / Privacy Policy