@article{ITA_2005__39_3_587_0, author = {L\"uttgen, Gerald and Vogler, Walter}, title = {Bisimulation on speed : lower time bounds}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {587--618}, publisher = {EDP-Sciences}, volume = {39}, number = {3}, year = {2005}, doi = {10.1051/ita:2005030}, mrnumber = {2157048}, zbl = {1077.68064}, language = {en}, url = {http://www.numdam.org/articles/10.1051/ita:2005030/} }