Coalgebraic Model Checking (CoMoC2)

• Applicants: Professor Dr. Stefan Milius; Professor Dr. Lutz Schröder
• Subject Area: Theoretical Computer Science
• Term: from 2019 to 2023
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 419850228

No abstract available

• DFG Programme: Research Grants