![[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Automatic Generation of Complex Properties for Hardware Designs]()
[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Automatic Generation of Complex Properties for Hardware DesignsRogin, Frank; Klotz, Thomas; Fey, Gorschwin; Drechsler, Rolf; Rulke, Steffen · 2008