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