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

Adnan Aziz, Vigyan Singhal, Gitanjali Swamy, Robert K. Brayton. Minimizing Interacting Finite State Machines: A Compositional Approach to Language to Containment. In Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD 94, Cambridge, MA, USA, October 10-12, 1994. pages 255-261, IEEE Computer Society, 1994.

Authors

Adnan Aziz

This author has not been identified. Look up 'Adnan Aziz' in Google

Vigyan Singhal

This author has not been identified. Look up 'Vigyan Singhal' in Google

Gitanjali Swamy

This author has not been identified. Look up 'Gitanjali Swamy' in Google

Robert K. Brayton

This author has not been identified. Look up 'Robert K. Brayton' in Google