%0 Journal Article %A Lüttgen, Gerald %A Vogler, Walter %T Bisimulation on speed : lower time bounds %J RAIRO. Theoretical Informatics and Applications %D 2005 %P 587-618 %V 39 %N 3 %I EDP-Sciences %U https://www.numdam.org/articles/10.1051/ita:2005030/ %R 10.1051/ita:2005030 %G en %F ITA_2005__39_3_587_0