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.
@inproceedings{AzizSSB94,
title = {Minimizing Interacting Finite State Machines: A Compositional Approach to Language to Containment},
author = {Adnan Aziz and Vigyan Singhal and Gitanjali Swamy and Robert K. Brayton},
year = {1994},
tags = {composition, state machines, systematic-approach},
researchr = {https://researchr.org/publication/AzizSSB94},
cites = {0},
citedby = {0},
pages = {255-261},
booktitle = {Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD 94, Cambridge, MA, USA, October 10-12, 1994},
publisher = {IEEE Computer Society},
isbn = {0-8186-6565-3},
}