We use cookies to improve your experience with our site.

The Design and Implementation of a Very Fast Experimental Pipelining Computer
Reconvergent-Fanout-Oriented Testability Measure
Program Slicing:Its Improved Algorithm and Application in Verification
Systems Programming in the Functional Language FP
Hierarchical Protocol Analysis by Temporal Logic
Soundness and Completeness of Kung s Reasoning Procedure
On the Condition for FSM Being a Scrambler
The Design and Implementation of an OA System ZGL1
Current Issue Cover