Difference between revisions of "Publications:Application of process algebraic verification and reduction techniques to SystemC designs"
From CERES
(Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani |PID=585572 |Name=Hoj...") |
(No difference)
|
Latest revision as of 04:43, 26 June 2014
| 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 |
