José L. Quiroz-Fabian, Manuel Aguilar Cornejo, Graciela Román-Alonso, Miguel A. Castro-García. Model Checking for Integrating Dynamic Load Distribution into Parallel Applications. In Alexander F. Gelbukh, Michel E. Adiba, editors, Ninth Mexican International Conference on Computer Science, ENC 2008, 6-10 October 2008, Mexicali, Baja California, Mexico. pages 221-231, IEEE Computer Society, 2008. [doi]
Abstract is missing.