Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny, Sofiène Tahar, Zijian Zhou. MDG-Based State Enumeration By Retiming And Circuit Transformation. Journal of Circuits, Systems, and Computers, 13(5):1111-1132, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.