@conference{dsilva_DATE08,
  title = "A Formal Approach To The Protocol Converter Problem",
  author = "Karin Avnit and Vijay D'Silva and Arcot Sowmya and S. Ramesh and Sri Parameswaran",
  year = "2008",
  booktitle = "Proceedings of the Conference on Design, Automation and Test in Europe (DATE)",
  editor = "Zebo Peng",
  isbn = "978-3-9810801-3-1",
  location = "Munich, Germany",
  month = "March",
  pages = "294--299",
  publisher = "ACM/IEEE",
  url = "http://portal.acm.org/citation.cfm?id=1403447",
  doi = "10.1145/1403375.1403447",
}