BibTeX
@INPROCEEDINGS{
         Dauvergne2006TDF,
       editor = "Vassil N. Alexandrov and Geert Dick van Albada and Peter M. A. Sloot and Jack
         Dongarra",
       booktitle = "Computational Science -- {ICCS} 2006",
       publisher = "Springer",
       address = "Heidelberg",
       series = "Lecture Notes in Computer Science",
       volume = "3994",
       year = "2006",
       isbn = "3-540-34385-7",
       author = "Benjamin Dauvergne and Laurent Hasco{\"e}t",
       title = "The Data-Flow Equations of Checkpointing in Reverse Automatic Differentiation",
       pages = "566--573",
       doi = "10.1007/11758549_78",
       ad_tools = "TAPENADE",
       ad_theotech = "Checkpointing, Data Flow Analysis",
       crossref = "Alexandrov2006CSI"
}