Minimizing Interacting Finite State Machines: A Compositional Approach to Language to Containment.

Adnan Aziz, Vigyan Singhal, Gitanjali Swamy, Robert K. Brayton

Browse the full ICCD paper archive.