@inproceedings{ dblp2877641,
  title = {Verifying Deadlock-Freedom of Communication Fabrics},
  author = {Alexander Gotmanov and Satrajit Chatterjee and Michael Kishinevsky},
  author_short = {Gotmanov, A. and Chatterjee, S. and Kishinevsky, M.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2011},
  key = {dblp2877641},
  id = {dblp2877641},
  biburl = {http://www.dblp.org/rec/bibtex/conf/vmcai/GotmanovCK11},
  url = {http://dx.doi.org/10.1007/978-3-642-18275-4_16},
  conference = {VMCAI},
  pages = {214-231},
  text = {VMCAI 2011:214-231},
  booktitle = {Proceedings of Verification, Model Checking and Abstract Interpretation (VMCAI)}
}

{"_id":"vDeaKcc7DSjYncyHM","bibbaseid":"gotmanov-chatterjee-kishinevsky-verifyingdeadlockfreedomofcommunicationfabrics-2011","downloads":0,"creationDate":"2016-02-29T04:12:33.347Z","title":"Verifying Deadlock-Freedom of Communication Fabrics","author_short":["Gotmanov, A.","Chatterjee, S.","Kishinevsky, M."],"year":2011,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/vmcai/GotmanovCK11","bibdata":{"title":"Verifying Deadlock-Freedom of Communication Fabrics","author":["Alexander Gotmanov","Satrajit Chatterjee","Michael Kishinevsky"],"author_short":["Gotmanov, A.","Chatterjee, S.","Kishinevsky, M."],"bibtype":"inproceedings","type":"inproceedings","year":"2011","key":"dblp2877641","id":"dblp2877641","biburl":"http://www.dblp.org/rec/bibtex/conf/vmcai/GotmanovCK11","url":"http://dx.doi.org/10.1007/978-3-642-18275-4_16","conference":"VMCAI","pages":"214-231","text":"VMCAI 2011:214-231","booktitle":"Proceedings of Verification, Model Checking and Abstract Interpretation (VMCAI)","bibtex":"@inproceedings{ dblp2877641,\n title = {Verifying Deadlock-Freedom of Communication Fabrics},\n author = {Alexander Gotmanov and Satrajit Chatterjee and Michael Kishinevsky},\n author_short = {Gotmanov, A. and Chatterjee, S. and Kishinevsky, M.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2011},\n key = {dblp2877641},\n id = {dblp2877641},\n biburl = {http://www.dblp.org/rec/bibtex/conf/vmcai/GotmanovCK11},\n url = {http://dx.doi.org/10.1007/978-3-642-18275-4_16},\n conference = {VMCAI},\n pages = {214-231},\n text = {VMCAI 2011:214-231},\n booktitle = {Proceedings of Verification, Model Checking and Abstract Interpretation (VMCAI)}\n}","bibbaseid":"gotmanov-chatterjee-kishinevsky-verifyingdeadlockfreedomofcommunicationfabrics-2011","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-18275-4_16"},"downloads":0},"search_terms":["verifying","deadlock","freedom","communication","fabrics","gotmanov","chatterjee","kishinevsky"],"keywords":[],"authorIDs":[],"dataSources":["xuiSWpFXt6RumsmFe"]}