[ACM Press the 1992 ACM SIGMETRICS joint international conference - Newport, Rhode Island, United States (1992.06.01-1992.06.05)] Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems - SIGMETRICS '92/PERFORMANCE '92 - Performance analysis of a parallel theorem prover
Jobmann, Manfred R., Schumann, JohannYear:
1992
Language:
english
DOI:
10.1145/133057.133158
File:
PDF, 208 KB
english, 1992