%0 Journal Article %1 journals/entcs/GaravelMS13 %A Garavel, Hubert %A Mateescu, Radu %A Serwe, Wendelin %D 2013 %J Electron. Notes Theor. Comput. Sci. %K %P 145-161 %T Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids. %U http://dblp.uni-trier.de/db/journals/entcs/entcs296.html#GaravelMS13 %V 296

@article{journals/entcs/GaravelMS13, added-at = {2023-12-13T02:47:00.000+0100}, author = {Garavel, Hubert and Mateescu, Radu and Serwe, Wendelin}, biburl = {https://www.bibsonomy.org/bibtex/229d5aa88fcbc3e159bfdc098658ed800/admin}, ee = {https://doi.org/10.1016/j.entcs.2013.07.010}, interhash = {838295c940a03aec54002d605a444cb1}, intrahash = {29d5aa88fcbc3e159bfdc098658ed800}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, pages = {145-161}, timestamp = {2023-12-13T02:47:00.000+0100}, title = {Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs296.html#GaravelMS13}, volume = 296, year = 2013 }