Algorithmen über omega-Automaten und Anwendungen in der Programmkonstruktion und -verifikation

• Applicant: Professor Dr. Wolfgang Thomas
• Subject Area: Computer Science
• Term: from 1995 to 2000
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5210596

No abstract available

• DFG Programme: Priority Programmes
• Subproject of: SPP 731: Effiziente Algorithmen für diskrete Probleme und ihre Anwendungen