BibTeX record conf/wwv/DiazPCVC05

• > Home > conf/wwv/DiazPCVC05

@inproceedings{DBLP:conf/wwv/DiazPCVC05,
  author       = {Gregorio D{\'{\i}}az and
                  Juan Jos{\'{e}} Pardo and
                  Mar{\'{\i}}a{-}Emilia Cambronero and
                  Valent{\'{\i}}n Valero and
                  Fernando Cuartero},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Santiago Escobar and
                  Moreno Falaschi},
  title        = {Verification of Web Services with Timed Automata},
  booktitle    = {First International Workshop on Automated Specification and Verification
                  of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
  volume       = {{DSIC-II/03/05}},
  pages        = {177--191},
  publisher    = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
                  de Valencia},
  year         = {2005},
  timestamp    = {Wed, 18 Nov 2020 08:45:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wwv/DiazPCVC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}