TY - RPRT TI - Existence of complete Lyapunov functions for semiflows on separable metric spaces AU - Mauro PatrĂ£o PY - 2011 UR - https://arxiv.org/abs/1107.5981 ID - 1107.5981 ER -