ConCon: A Contract Conflict Identifier. Aires, J. P., Granada, R., & Meneguzzi, F. In Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019, pages 2327–2329, 2019.
ConCon: A Contract Conflict Identifier [link]Paper  bibtex   
@inproceedings{DBLP:conf/atal/AiresGM19,
  author    = {Jo{\~{a}}o Paulo Aires and
               Roger Granada and
               Felipe Meneguzzi},
  title     = {ConCon: {A} Contract Conflict Identifier},
  booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
               and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
               2019},
  pages     = {2327--2329},
  year      = {2019},
  crossref  = {DBLP:conf/atal/2019},
  url       = {http://dl.acm.org/citation.cfm?id=3332101},
  timestamp = {Wed, 29 May 2019 16:36:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/AiresGM19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0