Hubert Garavel, Radu Mateescu, Wendelin Serwe. Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids. Electronic Notes in Theoretical Computer Science, 296:145-161, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.