Hui-Seng Lee

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1985

1 Mohamed G. Gouda, Hui-Seng Lee: Proving Liveness and Termination of Systolic Arrays Using Communication Finite State Machines. IEEE Trans. Software Eng. 11(10): 1240-1251 (1985)

1985
1		Mohamed G. Gouda, Hui-Seng Lee: Proving Liveness and Termination of Systolic Arrays Using Communication Finite State Machines. IEEE Trans. Software Eng. 11(10): 1240-1251 (1985)

Coauthor Index

1 Mohamed G. Gouda [1]