BibTeX record conf/seke/Argote-GarciaCHFS08

download as .bib file

@inproceedings{DBLP:conf/seke/Argote-GarciaCHFS08,
  author       = {Gonzalo Argote{-}Garcia and
                  Peter J. Clarke and
                  Xudong He and
                  Yujian Fu and
                  Leyuan Shi},
  title        = {A Formal Approach for Translating a {SAM} Architecture to {PROMELA}},
  booktitle    = {Proceedings of the Twentieth International Conference on Software
                  Engineering {\&} Knowledge Engineering (SEKE'2008), San Francisco,
                  CA, USA, July 1-3, 2008},
  pages        = {440--447},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2008},
  timestamp    = {Thu, 12 Mar 2020 11:30:50 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Argote-GarciaCHFS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics