KIT - Karlsruhe Institute of Technology
Home
Legals
Privacy Policy
Accessibility
Sitemap
KIT
Home
Team
Offers
Teaching
Research
Publications
Highlights
News
Logic of Autonomous Dynamical Systems
Formalization of Completeness Properties in Isabelle/HOL