Publications:Application of process algebraic verification and reduction techniques to SystemC designs

From CERES
Revision as of 04:43, 26 June 2014 by Slawek (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title Application of process algebraic verification and reduction techniques to SystemC designs
Author Hossein Hojjat and Mohammad Reza Mousavi and Marjan Sirjani
Year 2008
PublicationType Report
Journal
HostPublication
DOI
Conference
Diva url http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:585572
Abstract
Retrieved from "https://wiki.hh.se/ceres/index.php?title=Publications:Application_of_process_algebraic_verification_and_reduction_techniques_to_SystemC_designs&oldid=4122"