BibTeX record conf/esorics/EscobarMM08

• > Home > conf/esorics/EscobarMM08

@inproceedings{DBLP:conf/esorics/EscobarMM08,
  author       = {Santiago Escobar and
                  Catherine Meadows and
                  Jos{\'{e}} Meseguer},
  editor       = {Sushil Jajodia and
                  Javier L{\'{o}}pez},
  title        = {State Space Reduction in the Maude-NRL Protocol Analyzer},
  booktitle    = {Computer Security - {ESORICS} 2008, 13th European Symposium on Research
                  in Computer Security, M{\'{a}}laga, Spain, October 6-8, 2008.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5283},
  pages        = {548--562},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88313-5\_35},
  doi          = {10.1007/978-3-540-88313-5\_35},
  timestamp    = {Wed, 20 Sep 2023 08:58:09 +0200},
  biburl       = {https://dblp.org/rec/conf/esorics/EscobarMM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}