by Houda Khlif, Hatem Hadj Kacem, Saul E Pomares Hernandez, Cédric Eichler, Ahmed Hadj Kacem, Alberto Calixto Simon
Reference:
Houda Khlif, Hatem Hadj Kacem, Saul E Pomares Hernandez, Cédric Eichler, Ahmed Hadj Kacem, Alberto Calixto Simon, A Graph Transformation-based Approach for the Validation of Checkpointing Algorithms in Distributed Systems, In Proceedings of the 23nd IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, 2014.
Bibtex Entry:
@INPROCEEDINGS{khlif2014graph,
author = {Houda Khlif and Hatem Hadj Kacem and Saul E Pomares Hernandez and Cédric Eichler and Ahmed Hadj Kacem and Alberto
Calixto Simon},
title = {A Graph Transformation-based Approach for the Validation of Checkpointing Algorithms in Distributed Systems},
booktitle = {Proceedings of the 23nd IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises},
year = {2014},
publisher = {IEEE Computer Society},
}