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]
@inproceedings{Quiroz-FabianCRC08,
title = {Model Checking for Integrating Dynamic Load Distribution into Parallel Applications},
author = {José L. Quiroz-Fabian and Manuel Aguilar Cornejo and Graciela Román-Alonso and Miguel A. Castro-García},
year = {2008},
doi = {10.1109/ENC.2008.19},
url = {http://dx.doi.org/10.1109/ENC.2008.19},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/Quiroz-FabianCRC08},
cites = {0},
citedby = {0},
pages = {221-231},
booktitle = {Ninth Mexican International Conference on Computer Science, ENC 2008, 6-10 October 2008, Mexicali, Baja California, Mexico},
editor = {Alexander F. Gelbukh and Michel E. Adiba},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3439-8},
}