High-level Methods for OBDD-based Sequential Verification

Christian Stangier. High-level Methods for OBDD-based Sequential Verification. PhD thesis, Univ. Trier, FB 4, Informatik, 2002. [doi]

Abstract

Abstract is missing.