Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Cedric Eichler, Ahmed Hadj Kacem, Alberto Calixto Simon. A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems. In Sumitra Reddy, editor, 2014 IEEE 23rd International WETICE Conference, WETICE 2014, Parma, Italy, 23-25 June, 2014. pages 80-85, IEEE, 2014. [doi]
Abstract is missing.