A posteriori error analysis of the fully discretized time-dependent Stokes equations Christine Bernardi and Rüdiger Verfürth ESAIM: M2AN, 38 3 (2004) 437-455 Published online: 15 June 2004 DOI: 10.1051/m2an:2004021