%0 Journal Article %1 Avila-George2012_SUPERCOMPUTING %A Avila-George, Himer %A Torres-Jimenez, Jose %A Rangel-Valdez, Nelson %A Carrion, Abel %A Hernández, Vicente %D to appear 2012 %J The Journal of supercomputing %K Covering-arrays Grid-computing Supercomputing myown verification %R 10.1007/s11227-012-0763-0 %T Supercomputing and Grid Computing on the verification of Covering Arrays

@article{Avila-George2012_SUPERCOMPUTING, added-at = {2012-04-09T13:57:34.000+0200}, author = {Avila-George, Himer and Torres-Jimenez, Jose and Rangel-Valdez, Nelson and Carrion, Abel and Hern\'andez, Vicente}, biburl = {https://www.bibsonomy.org/bibtex/2e123d5df84dc1441537bb106b7c0eb95/himer79}, doi = {10.1007/s11227-012-0763-0}, interhash = {28061af6ce7e4dee3de235607b07caf2}, intrahash = {e123d5df84dc1441537bb106b7c0eb95}, journal = {The Journal of supercomputing}, keywords = {Covering-arrays Grid-computing Supercomputing myown verification}, timestamp = {2012-04-09T14:13:23.000+0200}, title = {Supercomputing and {Grid} Computing on the verification of Covering Arrays}, year = {to appear 2012} }