Confluence of Graph Rewriting with Interfaces (bibtex)
by Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Paweł Sobociński and Fabio Zanasi
Reference:
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Paweł Sobociński and Fabio Zanasi, "Confluence of Graph Rewriting with Interfaces", In European Symposium on Programming (ESOP 2017), 2017.
Bibtex Entry:
@INPROCEEDINGS{Bonchi2017,
  author = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawe{\l}
  Soboci\'{n}ski and Fabio Zanasi},
  title = {Confluence of Graph Rewriting with Interfaces},
  booktitle = {European Symposium on Programming (ESOP 2017)},
  year = {2017},
  timestamp = {20.12.16}
}
Powered by bibtexbrowser