{"_id":"ADaNjrqaZAqWov5BR","authorIDs":[],"author_short":["Avnit, K.","D'Silva, V.","Sowmya, A.","Ramesh, S.","Parameswaran, S."],"bibbaseid":"avnit-dapossilva-sowmya-ramesh-parameswaran-aformalapproachtotheprotocolconverterproblem-2008","bibdata":{"title":"A Formal Approach To The Protocol Converter Problem","author":["Karin Avnit","Vijay D'Silva","Arcot Sowmya","S. Ramesh","Sri Parameswaran"],"author_short":["Avnit, K.","D'Silva, V.","Sowmya, A.","Ramesh, S.","Parameswaran, S."],"bibtype":"inproceedings","type":"inproceedings","year":"2008","key":"dblp2767248","id":"dblp2767248","biburl":"http://www.dblp.org/rec/bibtex/conf/date/AvnitDSRP08","url":"http://dx.doi.org/10.1109/DATE.2008.4484695","conference":"DATE","pages":"294-299","text":"DATE 2008:294-299","booktitle":"Proceedings of Design, Automation, and Test in Europe (DATE)","bibtex":"@inproceedings{ dblp2767248,\n title = {A Formal Approach To The Protocol Converter Problem},\n author = {Karin Avnit and Vijay D'Silva and Arcot Sowmya and S. Ramesh and Sri Parameswaran},\n author_short = {Avnit, K. and D'Silva, V. and Sowmya, A. and Ramesh, S. and Parameswaran, S.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2008},\n key = {dblp2767248},\n id = {dblp2767248},\n biburl = {http://www.dblp.org/rec/bibtex/conf/date/AvnitDSRP08},\n url = {http://dx.doi.org/10.1109/DATE.2008.4484695},\n conference = {DATE},\n pages = {294-299},\n text = {DATE 2008:294-299},\n booktitle = {Proceedings of Design, Automation, and Test in Europe (DATE)}\n}","bibbaseid":"avnit-dapossilva-sowmya-ramesh-parameswaran-aformalapproachtotheprotocolconverterproblem-2008","role":"author","urls":{"Paper":"http://dx.doi.org/10.1109/DATE.2008.4484695"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/date/AvnitDSRP08","creationDate":"2014-12-03T00:41:55.603Z","downloads":0,"keywords":[],"search_terms":["formal","approach","protocol","converter","problem","avnit","d'silva","sowmya","ramesh","parameswaran"],"title":"A Formal Approach To The Protocol Converter Problem","year":2008,"dataSources":["8qB2cdw9StaBCrGSg"]}