27th International Symposium on Mathematical Foundations of Computer Science Conference

related documents

• Algorithms for computing small NFAs  Conference Paper
• On a Mereological System for Relational Software Specifications  Conference Paper
• Reducing NFAs by invariant equivalences  Conference Paper