@inproceedings{
 title = {Using Model Checking for evaluation of arbitration schemes in IBM’s CoreConnect bus protocol},
 type = {inproceedings},
 year = {2006},
 id = {b46df1a5-92b1-3622-ac9b-4dda5f7ed4f9},
 created = {2014-04-17T21:17:22.000Z},
 file_attached = {true},
 profile_id = {03d2ca17-6bde-3cfe-95de-fcbe4f21507b},
 last_modified = {2017-03-14T01:22:09.162Z},
 read = {false},
 starred = {false},
 authored = {true},
 confirmed = {true},
 hidden = {false},
 citation_key = {mundra2006ie},
 source_type = {inproceedings},
 private_publication = {false},
 bibtype = {inproceedings},
 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}
}

{"_id":"GecM44MAofixTbn8Y","bibbaseid":"mundra-sahula-usingmodelcheckingforevaluationofarbitrationschemesinibmscoreconnectbusprotocol-2006","author_short":["Mundra, A.","Sahula, V."],"bibdata":{"title":"Using Model Checking for evaluation of arbitration schemes in IBM’s CoreConnect bus protocol","type":"inproceedings","year":"2006","id":"b46df1a5-92b1-3622-ac9b-4dda5f7ed4f9","created":"2014-04-17T21:17:22.000Z","file_attached":"true","profile_id":"03d2ca17-6bde-3cfe-95de-fcbe4f21507b","last_modified":"2017-03-14T01:22:09.162Z","read":false,"starred":false,"authored":"true","confirmed":"true","hidden":false,"citation_key":"mundra2006ie","source_type":"inproceedings","private_publication":false,"bibtype":"inproceedings","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","bibtex":"@inproceedings{\n title = {Using Model Checking for evaluation of arbitration schemes in IBM’s CoreConnect bus protocol},\n type = {inproceedings},\n year = {2006},\n id = {b46df1a5-92b1-3622-ac9b-4dda5f7ed4f9},\n created = {2014-04-17T21:17:22.000Z},\n file_attached = {true},\n profile_id = {03d2ca17-6bde-3cfe-95de-fcbe4f21507b},\n last_modified = {2017-03-14T01:22:09.162Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {true},\n hidden = {false},\n citation_key = {mundra2006ie},\n source_type = {inproceedings},\n private_publication = {false},\n bibtype = {inproceedings},\n author = {Mundra, A and Sahula, V},\n booktitle = {Institute of Engineers (I) National Convention & Seminar on Advances in Electronics and Telecommunication: Vision 2020, Jaipur, 4-5 August}\n}","author_short":["Mundra, A.","Sahula, V."],"urls":{"Paper":"https://bibbase.org/service/mendeley/03d2ca17-6bde-3cfe-95de-fcbe4f21507b/file/581e2cbe-e4a4-6ee3-22b7-3c2139783769/2006-Using_Model_Checking_for_evaluation_of_arbitration_schemes_in_IBMs_CoreConnect_bus_protocol.pdf.pdf"},"biburl":"https://bibbase.org/service/mendeley/03d2ca17-6bde-3cfe-95de-fcbe4f21507b","bibbaseid":"mundra-sahula-usingmodelcheckingforevaluationofarbitrationschemesinibmscoreconnectbusprotocol-2006","role":"author","metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/service/mendeley/03d2ca17-6bde-3cfe-95de-fcbe4f21507b","dataSources":["FzvqmGdTCZ7Dbyn6A","ya2CyA73rpZseyrZ8"],"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}