Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Possibly Related PublicationsThe following publications are possibly variants of this publication: MDG-based Verification by Retiming and Combinational TransformationsOtmane Aït Mohamed, Eduard Cerny, Xiaoyu Song. glvlsi 1998: 356-361 [doi] On the non-termination of MDGs-based abstract state enumerationOtmane Aït Mohamed, Xiaoyu Song, Eduard Cerny. charme 1997: 218-235 Improving Termination of MDG-Based Abstract State Enumeration via Term SchematizationSophie Renault, Eduard Cerny. ENTCS, 23(2):57-74, 1999. [doi]
The following publications are possibly variants of this publication: