DOI http://dx.doi.org/10.1007/s10990-011-9072-1
From CERES
A list of all pages that have property "DOI" with value "http://dx.doi.org/10.1007/s10990-011-9072-1"
- Publications:Static Consistency Checking for Verilog Wire Interconnects : Using Dependent Types to Check the Sanity of Verilog Descriptions +
