BibTeX record conf/isola/BernardiDD04

download as .bib file

@inproceedings{DBLP:conf/isola/BernardiDD04,
  author    = {Simona Bernardi and
               Susanna Donatelli and
               Giovanna Dondossola},
  editor    = {Tiziana Margaria and
               Bernhard Steffen and
               Anna Philippou and
               Manfred Reitenspie{\ss}},
  title     = {A class Diagram framework for collecting dependability requirements
               in automation systems},
  booktitle = {International Symposium on Leveraging Applications of Formal Methods,
               ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
               proceedings},
  series    = {Technical Report},
  volume    = {{TR-2004-6}},
  pages     = {276--283},
  publisher = {Department of Computer Science, University of Cyprus},
  year      = {2004},
  timestamp = {Mon, 12 Oct 2020 10:36:45 +0200},
  biburl    = {https://dblp.org/rec/conf/isola/BernardiDD04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics