Number of items at this level: 1.
Khlif, Houda and Hadj Kacem, Hatem and Pomares Hernandez, Saùl E. and Eichler, Cédric and Hadj Kacem, Ahmed and Calixto Simon, Alberto
A Graph Transformation-based Approach for the Validation of Checkpointing Algorithms in Distributed Systems.
(2014)
In: 23rd IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2014), 23 June 2014 - 25 June 2014 (Parme, Italy).
This list was generated on Sat Oct 19 23:53:49 2019 CEST.
