Masaki Hashizume, Takeomi Tamesada, Akio Sakamoto. A Maximum Clique Derivation Algorithm for Simplification of Incompletely Specified Machines. In ISCAS. pages 193-196, 1994.
@inproceedings{HashizumeTS94, title = {A Maximum Clique Derivation Algorithm for Simplification of Incompletely Specified Machines}, author = {Masaki Hashizume and Takeomi Tamesada and Akio Sakamoto}, year = {1994}, researchr = {https://researchr.org/publication/HashizumeTS94}, cites = {0}, citedby = {0}, pages = {193-196}, booktitle = {ISCAS}, }