@inproceedings{102944308ac211dbbb3d000ea68e967b,
title = "Towards Automatic Bisimilarity Checking in the Spi Calculus",
author = "Elkj{\ae}r, {A. S.} and M. H{\"o}hle and H. H{\"u}ttel and K. Overg{\aa}rd",
note = "ISSN ; 0157-3055; Towards Automatic Bisimilarity Checking in the Spi Calculus ; Conference date: 19-05-2010",
year = "1999",
language = "English",
isbn = "9814021563",
pages = "175--189",
editor = "{Calude, C. S. : Dinneen, M. J. (eds.)}",
booktitle = "Combinatorics, Computation & Logic 99 : Proceedings of DMTCS'99 and CATS '99, Auckland, New Zealand, 18-21 January 1999",
publisher = "IEEE Computer Society Press",
address = "United States",
edition = "Vol.21, 3",
}