Transaction Based Modeling and Verification of Hardware Protocols
Conference proceeding (November 2007)
The most recent citing publications are shown below. View all 26 publications that cite this research output on Dimensions.
Conference proceeding (November 2007)
Conference proceeding (January 2005)
Conference proceeding (January 2002)