Behavioral modeling and formal verification of a resource discovery approach in Grid computing
Year: 2013
Type: article
Source: Expert Systems with Applications
Authors: Alireza Souri, Nima Jafari Navimipour
Institution: Islamic Azad University of Tabriz
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2079923099