BibTeX record conf/foal/DisenfeldK11

download as .bib file

@inproceedings{DBLP:conf/foal/DisenfeldK11,
  author       = {Cynthia Disenfeld and
                  Shmuel Katz},
  editor       = {Hridesh Rajan},
  title        = {Compositional verification of events and observers: (summary)},
  booktitle    = {Proceedings of the 10th international workshop on Foundations of aspect-oriented
                  languages, {FOAL} 2011, Porto de Galinhas, Brazil, March 21-25, 2011},
  pages        = {1--5},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1960510.1960512},
  doi          = {10.1145/1960510.1960512},
  timestamp    = {Tue, 06 Nov 2018 11:07:47 +0100},
  biburl       = {https://dblp.org/rec/conf/foal/DisenfeldK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics