1. A weighted resource discovery approach in grid computing: Formal verification approach and simulation. Issue 3 (22nd November 2019) Authors: Sabamoniri, Saeed; Souri, Alireza Journal: International journal of pervasive computing and communications Issue: Volume 15:Issue 3/4(2019) Page Start: 199 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗