BibTeX record conf/ems/LaiLW11

• > Home > conf/ems/LaiLW11

@inproceedings{DBLP:conf/ems/LaiLW11,
  author       = {Xin Lai and
                  Cong Liu and
                  Zhiying Wang},
  editor       = {David Al{-}Dabass and
                  Alessandra Orsoni and
                  Athanasios A. Pantelous and
                  Gregorio Romero and
                  Jes{\'{u}}s F{\'{e}}lez},
  title        = {Applying Formal Verification to a Cache Coherence Protocol in {TLS}},
  booktitle    = {Proceedings of the UKSim 5th European Symposium on Computer Modeling
                  and Simulation, {EMS} 2011, Madrid, Spain, November 16-18, 2011},
  pages        = {329--334},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/EMS.2011.48},
  doi          = {10.1109/EMS.2011.48},
  timestamp    = {Thu, 23 Mar 2023 23:59:09 +0100},
  biburl       = {https://dblp.org/rec/conf/ems/LaiLW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}