Che-Wei Chang. Formal Analysis of Electronic System Level Models using Satisfiability Modulo Theories and Automata Checking. PhD thesis, University of California, Irvine, USA, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.