Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Johannes Kepler Universität Linz
Institut für Complex Systems

Address Altenberger Straße 69
4040 Linz
Österreich

4040 Linz

Projects

Collaborative Research Centres
- Completed projects
  - Formalizations and properties of plans
    (Project Heads Drechsler, Rolf ; Große, Daniel )
Research Grants
- Completed projects
  - VerA: Fully Automatic Formal Verification of Arithmetic Circuits
    (Applicants Drechsler, Rolf ; Große, Daniel ; Scholl, Christoph )

© 2024 DFG Disclaimer / Copyright / Privacy Policy