A Formal Approach To The Protocol Converter Problem

Karin Avnit, Vijay D Silva, Arcot Sowmya, S. Ramesh, Sri Parameswaran. A Formal Approach To The Protocol Converter Problem. In Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008. pages 294-299, 2008. [doi]

@inproceedings{AvnitDSRP08,
  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},
  doi = {10.1109/DATE.2008.4484695},
  url = {http://dx.doi.org/10.1109/DATE.2008.4484695},
  tags = {protocol, systematic-approach},
  researchr = {https://researchr.org/publication/AvnitDSRP08},
  cites = {0},
  citedby = {0},
  pages = {294-299},
  booktitle = {Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008},
}