BibTeX record conf/kbse/LuADN04

download as .bib file

@inproceedings{DBLP:conf/kbse/LuADN04,
  author    = {Yun Lu and
               Joanne M. Atlee and
               Nancy A. Day and
               Jianwei Niu},
  title     = {Mapping Template Semantics to {SMV}},
  booktitle = {19th {IEEE} International Conference on Automated Software Engineering
               {(ASE} 2004), 20-25 September 2004, Linz, Austria},
  pages     = {320--325},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://doi.ieeecomputersociety.org/10.1109/ASE.2004.10009},
  doi       = {10.1109/ASE.2004.10009},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/LuADN04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics