@INPROCEEDINGS{VuZhanJessAMAST08,
  AUTHOR    = {T. D.Vu and L. Zhang and C. R. Jesshope},
  TITLE     = {{The verification of the on-chip COMA cache coherence protocol}},
  EDITOR    = {},
  BOOKTITLE = {International Conference on Algebraic Methodology and Software Technology},
  PUBLISHER = {},
  SERIES    = {},
  VOLUME    = {},
  NUMBER    = {},
  YEAR      = 2008,
  PAGES     = {413-429},
  ISBN      = {978-3-540-79979-5},
  NOTE      = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {}
}

{"_id":{"_str":"522f3418aa2f288d1f00309c"},"__v":3,"authorIDs":[],"author_short":["D.Vu, T.","Zhang, L.","Jesshope, C. R."],"bibbaseid":"dvu-zhang-jesshope-theverificationoftheonchipcomacachecoherenceprotocol-2008","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["T."],"propositions":[],"lastnames":["D.Vu"],"suffixes":[]},{"firstnames":["L."],"propositions":[],"lastnames":["Zhang"],"suffixes":[]},{"firstnames":["C.","R."],"propositions":[],"lastnames":["Jesshope"],"suffixes":[]}],"title":"The verification of the on-chip COMA cache coherence protocol","editor":[{"firstnames":[],"propositions":[],"lastnames":[""],"suffixes":[]}],"booktitle":"International Conference on Algebraic Methodology and Software Technology","publisher":"","series":"","volume":"","number":"","year":"2008","pages":"413-429","isbn":"978-3-540-79979-5","note":"","contents":"","sourceurl":"","topics":"","bibtex":"@INPROCEEDINGS{VuZhanJessAMAST08,\n AUTHOR = {T. D.Vu and L. Zhang and C. R. Jesshope},\n TITLE = {{The verification of the on-chip COMA cache coherence protocol}},\n EDITOR = {},\n BOOKTITLE = {International Conference on Algebraic Methodology and Software Technology},\n PUBLISHER = {},\n SERIES = {},\n VOLUME = {},\n NUMBER = {},\n YEAR = 2008,\n PAGES = {413-429},\n ISBN = {978-3-540-79979-5},\n NOTE = {},\n CONTENTS = {},\n sourceURL = {},\n TOPICS = {}\n}\n\n","author_short":["D.Vu, T.","Zhang, L.","Jesshope, C. R."],"editor_short":[""],"key":"VuZhanJessAMAST08","id":"VuZhanJessAMAST08","bibbaseid":"dvu-zhang-jesshope-theverificationoftheonchipcomacachecoherenceprotocol-2008","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"apple-core.info/apple.bib","downloads":0,"keywords":[],"search_terms":["verification","chip","coma","cache","coherence","protocol","d.vu","zhang","jesshope"],"title":"The verification of the on-chip COMA cache coherence protocol","title_words":["verification","chip","coma","cache","coherence","protocol"],"year":2008,"dataSources":["vwHwD5AQxBhRxMsmz","ibJp9P4KitKPT3bh2"]}