Parallel triangular decompositions of an oil refining simulation
ICS '93 Proceedings of the 7th international conference on Supercomputing
On Automation in the Verification of Software Barriers: Experience Report
Journal of Automated Reasoning
Hi-index | 0.01 |