Property verification of mixed data and control intensive designs

Claudia Blank. Property verification of mixed data and control intensive designs. PhD thesis, Darmstadt University of Technology, Germany, 2003. [doi]

Abstract

Abstract is missing.