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 = {{SEFM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7041},
  pages     = {269--285},
  publisher = {Springer},
  year      = {2011}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics