TY - JOUR AU - Lüttgen, Gerald AU - Vogler, Walter TI - Bisimulation on speed : lower time bounds JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2005 SP - 587 EP - 618 VL - 39 IS - 3 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/ita:2005030/ DO - 10.1051/ita:2005030 LA - en ID - ITA_2005__39_3_587_0 ER -