An interactive design automation system
DAC '73 Proceedings of the 10th Design Automation Workshop
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 |