@InProceedings{Las02concur, author = "Lasota, S.", title = "Decidability of strong bisimilarity for timed {BPP}", booktitle = "Proc. 13th International Conference on Concurrency Theory (CONCUR'02)", year = "2002", volume = 2421, series = "LNCS", publisher = "Springer-Verlag", pages = {562-578} }