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.
André Luis Silva, Manoel Messias Menezes, Leila Silva. Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning. Electronic Notes in Theoretical Computer Science, 95:63-82, 2004. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: A Normal Form Reduction Strategy for Hardware/Software PartitioningLeila Silva, Augusto Sampaio, Edna Barros. FM 1997: 624-643
The following publications are possibly variants of this publication: