BibTeX record conf/sefm/MadeiraFMB11

download as .bib file

@inproceedings{DBLP:conf/sefm/MadeiraFMB11,
  author    = {Alexandre Madeira and
               Jos{\'{e}} M. Faria and
               Manuel A. Martins and
               Lu{\'{\i}}s Soares Barbosa},
  title     = {Hybrid Specification of Reactive Systems: An Institutional Approach},
  booktitle = {Software Engineering and Formal Methods - 9th International Conference,
               {SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
  pages     = {269--285},
  year      = {2011},
  crossref  = {DBLP:conf/sefm/2011},
  url       = {https://doi.org/10.1007/978-3-642-24690-6\_19},
  doi       = {10.1007/978-3-642-24690-6\_19},
  timestamp = {Wed, 21 Apr 2021 08:53:39 +0200},
  biburl    = {https://dblp.org/rec/conf/sefm/MadeiraFMB11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2011,
  editor    = {Gilles Barthe and
               Alberto Pardo and
               Gerardo Schneider},
  title     = {Software Engineering and Formal Methods - 9th International Conference,
               {SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7041},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24690-6},
  doi       = {10.1007/978-3-642-24690-6},
  isbn      = {978-3-642-24689-0},
  timestamp = {Mon, 29 Nov 2021 00:21:35 +0100},
  biburl    = {https://dblp.org/rec/conf/sefm/2011.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics