ECE 667 - Synthesis & Verification - L271 ECE 697B (667) Spring 2006 Synthesis and Verification of Digital Systems Model Checking basics.
The Use of Rich-Media Resources for Scholarly Communication Net@EDU Annual Meeting Tempe, Arizona, February 2007 Amy Philipson Executive Director ResearchChannel.