BibTeX record conf/pact/Barrio-SolorzanoBCF01

• > Home > conf/pact/Barrio-SolorzanoBCF01

@inproceedings{DBLP:conf/pact/Barrio-SolorzanoBCF01,
  author       = {Manuel Barrio{-}Sol{\'{o}}rzano and
                  Maria Encarnaci{\'{o}}n Beato Guti{\'{e}}rrez and
                  Carlos Enrique Cuesta Quintero and
                  Pablo de la Fuente},
  editor       = {Victor E. Malyshkin},
  title        = {Formal Verification of Coherence for a Shared Memory Multiprocessor
                  Model},
  booktitle    = {Parallel Computing Technologies, 6th International Conference, PaCT
                  2001, Novosibirsk, Russia, September 3-7, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2127},
  pages        = {17--26},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44743-1\_2},
  doi          = {10.1007/3-540-44743-1\_2},
  timestamp    = {Wed, 07 Dec 2022 23:13:40 +0100},
  biburl       = {https://dblp.org/rec/conf/pact/Barrio-SolorzanoBCF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}