Search results for: Kai Weber
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Algorithms and Techniques for Speeding (DD-Based) Verification 1 > 114-128
International Journal of Medical Microbiology > 2012 > 302 > 3 > 155-161