Modal logic based algorithms for the verification of specifications in discrete event systems.

• Grant number: 98/09043-2
• Support Opportunities: Research Grants - Meeting - Abroad
• Start date: August 26, 1998
• End date: September 04, 1998
• Field of knowledge: Engineering - Electrical Engineering - Industrial Electronics, Electronic Systems and Controls
• Principal Investigator: Rafael Santos Mendes
• Grantee: Rafael Santos Mendes
• Host Institution: Faculdade de Engenharia Elétrica e de Computação (FEEC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil