BibTeX record conf/sac/DiazCMR15

download as .bib file

@inproceedings{DBLP:conf/sac/DiazCMR15,
  author    = {Gregorio D{\'{\i}}az and
               Mar{\'{\i}}a{-}Emilia Cambronero and
               Hermenegilda Maci{\`{a}} and
               Valent{\'{\i}}n Valero Ruiz},
  title     = {Model-checking verification of publish-subscribe architectures in
               web service contexts},
  booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
               Salamanca, Spain, April 13-17, 2015},
  pages     = {1688--1695},
  year      = {2015},
  crossref  = {DBLP:conf/sac/2015},
  url       = {https://doi.org/10.1145/2695664.2695744},
  doi       = {10.1145/2695664.2695744},
  timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/DiazCMR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2015,
  editor    = {Roger L. Wainwright and
               Juan Manuel Corchado and
               Alessio Bechini and
               Jiman Hong},
  title     = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
               Salamanca, Spain, April 13-17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2695664},
  isbn      = {978-1-4503-3196-8},
  timestamp = {Tue, 21 Jul 2015 14:16:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics