Developments in verification of design correctness (A Tutorial)
DAC '80 Proceedings of the 17th Design Automation Conference
The simulation of computer systems in a university environment
ANSS '74 Proceedings of the 2nd symposium on Simulation of computer systems
Project LOGOS at Case Western Reserve University
ACM SIGDA Newsletter
A Comparison of Some Theoretical Models of Parallel Computation
IEEE Transactions on Computers
Hi-index | 0.00 |