Proving Liveness and Termination of Systolic Arrays Using Communicating Finite State Machines.

MLA

Gouda, Mohamed G., and Hui-Seng Lee. “Proving Liveness and Termination of Systolic Arrays Using Communicating Finite State Machines.” IEEE Transactions on Software Engineering, vol. 11, no. 10, Oct. 1985, pp. 1240–51. 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=edb&AN=14404025&authtype=sso&custid=ns315887.

APA

Gouda, M. G., & Hui-Seng Lee. (1985). Proving Liveness and Termination of Systolic Arrays Using Communicating Finite State Machines. IEEE Transactions on Software Engineering, 11(10), 1240–1251.

Chicago

Gouda, Mohamed G., and Hui-Seng Lee. 1985. “Proving Liveness and Termination of Systolic Arrays Using Communicating Finite State Machines.” IEEE Transactions on Software Engineering 11 (10): 1240–51. 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=edb&AN=14404025&authtype=sso&custid=ns315887.