×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [global state graph w]
Home >
global state graph w
On Reducing the Global State Graph for Verification of Distributed Computations Vijay K. Garg, Arindam Chakraborty Parallel and Distributed Systems Laboratory.
218 views
On Reducing the Global State Graph for Verification of Distributed Computations
41 views