Formal specification and design of a message router
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal Specification and Design of Mobile Systems
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Hi-index | 0.00 |