BibTeX record conf/isss/ElesPK02

download as .bib file

@inproceedings{DBLP:conf/isss/ElesPK02,
  author    = {Petru Eles and
               Zebo Peng and
               Daniel Karlsson},
  editor    = {El Mostapha Aboulhamid and
               Yukihiro Nakamura},
  title     = {Formal Verification in a Component-Based Reuse Methodology},
  booktitle = {Proceedings of the 15th International Symposium on System Synthesis
               {(ISSS} 2002), October 2-4, 2002, Kyoto, Japan},
  pages     = {156--161},
  publisher = {{ACM} / {IEEE} Computer Society},
  year      = {2002},
  url       = {http://doi.ieeecomputersociety.org/10.1109/ISSS.2002.1227169},
  doi       = {10.1109/ISSS.2002.1227169},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/isss/ElesPK02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics