Abstract Communication Model for Distributed Systems
IEEE Transactions on Software Engineering
Formal description and analysis of a distributed location service for mobile ad hoc networks
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Hi-index | 0.00 |