27th International Symposium on Mathematical Foundations of Computer Science Conference

related documents

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