BibTeX record conf/isola/AlvarezCMMPM06

• > Home > conf/isola/AlvarezCMMPM06

@inproceedings{DBLP:conf/isola/AlvarezCMMPM06,
  author       = {Jos{\'{e}} M. Alvarez and
                  Pedro de la C{\'{a}}mara and
                  Jes{\'{u}}s Mart{\'{\i}}nez and
                  Pedro Merino and
                  Francisco C. Perez and
                  Victoria Morillo},
  title        = {An {SDL} Implementation of the {UMTS} Radio Resource Control Protocol
                  Oriented to Conformance Testing},
  booktitle    = {Leveraging Applications of Formal Methods, Second International Symposium,
                  ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  pages        = {397--401},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ISoLA.2006.13},
  doi          = {10.1109/ISOLA.2006.13},
  timestamp    = {Thu, 23 Mar 2023 23:59:43 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/AlvarezCMMPM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}