"Design Verification of a Microprocessor Using Branching Time Regular ..."

Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics