AcunaE06'

@inproceedings{DBLP:conf/ISCApdcs/AcunaE06,
  author    = {Claudio Acu{\~n}a and
               Yadran Eterovic},
  title     = {Using Abstract State Machines to Specify a Protocol thas
               Implements the GWO Consistency Model},
  booktitle = {ISCA PDCS},
  year      = {2006},
  pages     = {32-37},
  crossref  = {DBLP:conf/ISCApdcs/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ISCApdcs/2006,
  editor    = {Gregory D. Peterson},
  title     = {Proceedings of the ISCA 19th International Conference on
               Parallel and Distributed Computing Systems, September 20-11,
               2006, San Francisco, California, USA},
  booktitle = {ISCA PDCS},
  publisher = {ISCA},
  year      = {2006},
  isbn      = {978-1-880843-60-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}