  We prove, using symplectic methods and The Wigner formalism, a refinement of
a criterion due to Werner and Wolf for the separability of bipartite Gaussian
mixed states in an arbitrary number of dimensions. We use our result to show
that one can characterize separability by comparing these states with separable
pure Gaussian states.
