S. Arun-Kumar, Divyanshu Bagga. Parameterised Bisimulations: Some Applications. In Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller, editors, Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings. Volume 8428 of Lecture Notes in Computer Science, pages 208-225, Springer, 2014. [doi]
@inproceedings{Arun-KumarB14,
title = {Parameterised Bisimulations: Some Applications},
author = {S. Arun-Kumar and Divyanshu Bagga},
year = {2014},
doi = {10.1007/978-3-319-06251-8_13},
url = {http://dx.doi.org/10.1007/978-3-319-06251-8_13},
researchr = {https://researchr.org/publication/Arun-KumarB14},
cites = {0},
citedby = {0},
pages = {208-225},
booktitle = {Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings},
editor = {Peter Höfner and Peter Jipsen and Wolfram Kahl and Martin Eric Müller},
volume = {8428},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-06250-1},
}