BibTeX record journals/jss/Fernandez-IglesiasBGL05

• > Home > journals/jss/Fernandez-IglesiasBGL05

@article{DBLP:journals/jss/Fernandez-IglesiasBGL05,
  author       = {Manuel J. Fern{\'{a}}ndez{-}Iglesias and
                  Juan C. Burguillo{-}Rial and
                  Francisco J. Gonz{\'{a}}lez{-}Casta{\~{n}}o and
                  Mart{\'{\i}}n Llamas Nistal},
  title        = {Wireless protocol testing and validation supported by formal methods.
                  {A} hands-on report},
  journal      = {J. Syst. Softw.},
  volume       = {75},
  number       = {1-2},
  pages        = {139--154},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.jss.2004.03.001},
  doi          = {10.1016/J.JSS.2004.03.001},
  timestamp    = {Fri, 12 Jan 2024 21:09:32 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/Fernandez-IglesiasBGL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}