Browse wiki

From CERES
Jump to: navigation, search
Publications:Application of process algebraic verification and reduction techniques to SystemC designs
Author Hossein Hojjat + , Mohammad Reza Mousavi + , Marjan Sirjani +
Diva http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:585572
PublicationType Report  +
Publisher Technische Universiteit Eindhoven  +
Series Computer science report ; 08-15  +
Title Application of process algebraic verification and reduction techniques to SystemC designs  +
Year 2008  +
Has queryThis property is a special property in this wiki. Publications:Application of process algebraic verification and reduction techniques to SystemC designs + , Publications:Application of process algebraic verification and reduction techniques to SystemC designs + , Publications:Application of process algebraic verification and reduction techniques to SystemC designs + , Publications:Application of process algebraic verification and reduction techniques to SystemC designs + , Publications:Application of process algebraic verification and reduction techniques to SystemC designs + , Publications:Application of process algebraic verification and reduction techniques to SystemC designs + , Publications:Application of process algebraic verification and reduction techniques to SystemC designs + , Publications:Application of process algebraic verification and reduction techniques to SystemC designs + , Publications:Application of process algebraic verification and reduction techniques to SystemC designs + , Publications:Application of process algebraic verification and reduction techniques to SystemC designs +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 26 June 2014 03:43:29  +
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.
Retrieved from "https://wiki.hh.se/ceres/index.php/Special:Browse/Publications:Application_of_process_algebraic_verification_and_reduction_techniques_to_SystemC_designs"