%0 Conference Paper %1 conf/wetice/KhlifKHEKS14 %A Khlif, Houda %A Kacem, Hatem Hadj %A Hernández, Saúl E. Pomares %A Eichler, Cédric %A Kacem, Ahmed Hadj %A Simon, Alberto Calixto %B WETICE %D 2014 %E Reddy, Sumitra %I IEEE Computer Society %K dblp %P 80-85 %T A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems. %U http://dblp.uni-trier.de/db/conf/wetice/wetice2014.html#KhlifKHEKS14 %@ 978-1-4799-4249-7

@inproceedings{conf/wetice/KhlifKHEKS14, added-at = {2023-03-23T00:00:00.000+0100}, author = {Khlif, Houda and Kacem, Hatem Hadj and Hernández, Saúl E. Pomares and Eichler, Cédric and Kacem, Ahmed Hadj and Simon, Alberto Calixto}, biburl = {https://www.bibsonomy.org/bibtex/24fb7ddf22545e06d31545576dc758b67/dblp}, booktitle = {WETICE}, crossref = {conf/wetice/2014}, editor = {Reddy, Sumitra}, ee = {https://doi.ieeecomputersociety.org/10.1109/WETICE.2014.23}, interhash = {593c400ddd2007ec0da58678e927dde0}, intrahash = {4fb7ddf22545e06d31545576dc758b67}, isbn = {978-1-4799-4249-7}, keywords = {dblp}, pages = {80-85}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T15:38:16.000+0200}, title = {A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/wetice/wetice2014.html#KhlifKHEKS14}, year = 2014 }