BibTeX record journals/corr/BartolettiCGZ13

download as .bib file

@inproceedings{DBLP:journals/corr/BartolettiCGZ13,
  author    = {Massimo Bartoletti and
               Tiziana Cimoli and
               Paolo Di Giamberardino and
               Roberto Zunino},
  title     = {Contract agreements via logic},
  booktitle = {{ICE}},
  series    = {{EPTCS}},
  volume    = {131},
  pages     = {5--19},
  year      = {2013}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics