@InProceedings{mundra2006ie,
  Title                    = {Using Model Checking for evaluation of arbitration schemes in IBM's CoreConnect bus protocol},
  Author                   = {Mundra, A and Sahula, V},
  Booktitle                = {Institute of Engineers (I) National Convention {\&} Seminar on Advances in Electronics and Telecommunication: Vision 2020, Jaipur, 4-5 August},
  Year                     = {2006},

  File                     = {:C$\backslash$:/Users/Vineet/Documents/Mendeley Desktop/Mundra, Sahula - 2006 - Using Model Checking for evaluation of arbitration schemes in IBM's CoreConnect bus protocol.pdf:pdf}
}

{"_id":"GecM44MAofixTbn8Y","bibbaseid":"mundra-sahula-usingmodelcheckingforevaluationofarbitrationschemesinibmscoreconnectbusprotocol-2006","author_short":["Mundra, A","Sahula, V"],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Using Model Checking for evaluation of arbitration schemes in IBM's CoreConnect bus protocol","author":[{"propositions":[],"lastnames":["Mundra"],"firstnames":["A"],"suffixes":[]},{"propositions":[],"lastnames":["Sahula"],"firstnames":["V"],"suffixes":[]}],"booktitle":"Institute of Engineers (I) National Convention & Seminar on Advances in Electronics and Telecommunication: Vision 2020, Jaipur, 4-5 August","year":"2006","file":":C$\\$:/Users/Vineet/Documents/Mendeley Desktop/Mundra, Sahula - 2006 - Using Model Checking for evaluation of arbitration schemes in IBM's CoreConnect bus protocol.pdf:pdf","bibtex":"@InProceedings{mundra2006ie,\r\n Title = {Using Model Checking for evaluation of arbitration schemes in IBM's CoreConnect bus protocol},\r\n Author = {Mundra, A and Sahula, V},\r\n Booktitle = {Institute of Engineers (I) National Convention {\\&} Seminar on Advances in Electronics and Telecommunication: Vision 2020, Jaipur, 4-5 August},\r\n Year = {2006},\r\n\r\n File = {:C$\\backslash$:/Users/Vineet/Documents/Mendeley Desktop/Mundra, Sahula - 2006 - Using Model Checking for evaluation of arbitration schemes in IBM's CoreConnect bus protocol.pdf:pdf}\r\n}\r\n\r\n","author_short":["Mundra, A","Sahula, V"],"key":"mundra2006ie","id":"mundra2006ie","bibbaseid":"mundra-sahula-usingmodelcheckingforevaluationofarbitrationschemesinibmscoreconnectbusprotocol-2006","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/xKC5GQKZ8FRtFCvB4","dataSources":["FzvqmGdTCZ7Dbyn6A","ya2CyA73rpZseyrZ8","2252seNhipfTmjEBQ","JSHXsrzTtzwdTXGqc"],"keywords":[],"search_terms":["using","model","checking","evaluation","arbitration","schemes","ibm","coreconnect","bus","protocol","mundra","sahula"],"title":"Using Model Checking for evaluation of arbitration schemes in IBM's CoreConnect bus protocol","year":2006}