@shamerjose

Formal Specification for Implementing Atomic Read/Write Shared Memory in Mobile Ad Hoc Networks Using the Mobile Unity

. (2022)

Links and resources

Tags