Using Model Checking for evaluation of arbitration schemes in IBM’s CoreConnect bus protocol. Mundra, A. & Sahula, V. In Institute of Engineers (I) National Convention & Seminar on Advances in Electronics and Telecommunication: Vision 2020, Jaipur, 4-5 August, 2006. bibtex @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}
}
Downloads: 0
{"_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."],"biburl":"https://bibbase.org/service/mendeley/03d2ca17-6bde-3cfe-95de-fcbe4f21507b","bibbaseid":"mundra-sahula-usingmodelcheckingforevaluationofarbitrationschemesinibmscoreconnectbusprotocol-2006","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/service/mendeley/03d2ca17-6bde-3cfe-95de-fcbe4f21507b","dataSources":["FzvqmGdTCZ7Dbyn6A","ya2CyA73rpZseyrZ8","2252seNhipfTmjEBQ"],"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}