Yosinori Watanabe, Robert K. Brayton. State Minimization of Pseudo Non-Deterministic FSM s. In Robert Werner, editor, EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28 - March 3, 1994, Paris, France. pages 184-191, IEEE Computer Society, 1994.
@inproceedings{WatanabeB94, title = {State Minimization of Pseudo Non-Deterministic FSM s}, author = {Yosinori Watanabe and Robert K. Brayton}, year = {1994}, researchr = {https://researchr.org/publication/WatanabeB94}, cites = {0}, citedby = {0}, pages = {184-191}, booktitle = {EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28 - March 3, 1994, Paris, France}, editor = {Robert Werner}, publisher = {IEEE Computer Society}, isbn = {0-8186-5410-4}, }