BibTeX record conf/jisbd/HornosC01

download as .bib file

@inproceedings{DBLP:conf/jisbd/HornosC01,
  author       = {Miguel J. Hornos and
                  Manuel I. Capel},
  editor       = {Oscar D{\'{\i}}az and
                  Arantza Illarramendi and
                  Mario Piattini},
  title        = {Verificaci{\'{o}}n Automatizada Eficiente de Sistemas Concurrentes
                  Especificando Sus Propiedades con F{\'{o}}rmalus de una L{\'{o}}gica
                  de Intervalos},
  booktitle    = {{VI} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
                  {(JISBD} 2001), 1-23 de Noviembre de 2001, Almagro (Ciudad Real)},
  pages        = {375--390},
  year         = {2001},
  timestamp    = {Wed, 11 Feb 2004 07:59:26 +0100},
  biburl       = {https://dblp.org/rec/conf/jisbd/HornosC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics