We use cookies to improve your experience with our site.
Advanced Search

The Design and Implementation of a Very Fast Experimental Pipelining Computer
Lin Qi, Xia Peisu
1988, 3(1): 1-6.
Abstract
Soundness and Completeness of Kung s Reasoning Procedure
Li Renwei
1988, 3(1): 7-15.
Abstract
Reconvergent-Fanout-Oriented Testability Measure
Wang Jianchao, Wei Daozheng
1988, 3(1): 16-28.
Abstract
Program Slicing:Its Improved Algorithm and Application in Verification
Lu Qi, Zhang Fubo, Qian Jiahua
1988, 3(1): 29-39.
Abstract
Systems Programming in the Functional Language FP
Jin Lingzi, Zhu Hong
1988, 3(1): 40-55.
Abstract
Hierarchical Protocol Analysis by Temporal Logic
Feng Yulin
1988, 3(1): 56-69.
Abstract
On the Condition for FSM Being a Scrambler
Bao Feng
1988, 3(1): 70-74.
Abstract
The Design and Implementation of an OA System ZGL1
Xie Li, Chen Peipei, Yang Peigen, Sun Zhongxiu
1988, 3(1): 75-80.
Abstract