BibTeX record conf/bmfa/McNeile10

download as .bib file

@inproceedings{DBLP:conf/bmfa/McNeile10,
  author       = {Ashley T. McNeile},
  editor       = {Mehmet Aksit and
                  Ekkart Kindler and
                  Ella E. Roubtsova and
                  Ashley T. McNeile},
  title        = {A framework for the semantics of behavioral contracts},
  booktitle    = {Proceedings of the Second International Workshop on Behaviour Modelling:
                  Foundation and Applications, Paris, France, June 14, 2010},
  pages        = {3},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1811147.1811150},
  doi          = {10.1145/1811147.1811150},
  timestamp    = {Wed, 14 Nov 2018 10:55:57 +0100},
  biburl       = {https://dblp.org/rec/conf/bmfa/McNeile10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics