Reasoning about Action Systems using the B-Method
Formal Methods in System Design
A Practical Approach to Dynamic Load Balancing
IEEE Transactions on Parallel and Distributed Systems
High-performance land surface modeling with a Linux cluster
Computers & Geosciences
Hi-index | 0.00 |