Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke. Automatic Generation of Complex Properties for Hardware Designs. In Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008. pages 545-548, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.