Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit

MLA

Pan, Jing, et al. Toward a Formal Verification of a Floating-Point Coprocessor and Its Composition with a Central Processing Unit. Aug. 1991. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsnas&AN=edsnas.19910019463&authtype=sso&custid=ns315887.

APA

Pan, J., Levitt, K. N., & Cohen, G. C. (1991). Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit.

Chicago

Pan, Jing, Karl N Levitt, and Gerald C Cohen. 1991. “Toward a Formal Verification of a Floating-Point Coprocessor and Its Composition with a Central Processing Unit,” August. http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsnas&AN=edsnas.19910019463&authtype=sso&custid=ns315887.