AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Issues in the Refinement of Distributed Programs
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Hi-index | 0.00 |