Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Fachbereich Informatik
Arbeitsgruppe Automated Reasoning
Address
Gottlieb-Daimler-Straße
67663 Kaiserslautern
Deutschland
GERiT
This institution in GERiT
67663 Kaiserslautern
Projects
Research Grants
Current projects
Directed Ramsey Quantifiers with Applications in Formal Verification
(Applicant
Lin, Anthony
)
