@dblp

Model Checking for Integrating Dynamic Load Distribution into Parallel Applications.

, , , and . ENC, page 221-231. IEEE Computer Society, (2008)

Links and resources

Tags