BibTeX record conf/ppdp/InabaHHKN11

download as .bib file

@inproceedings{DBLP:conf/ppdp/InabaHHKN11,
  author    = {Kazuhiro Inaba and
               Soichiro Hidaka and
               Zhenjiang Hu and
               Hiroyuki Kato and
               Keisuke Nakano},
  editor    = {Peter Schneider{-}Kamp and
               Michael Hanus},
  title     = {Graph-transformation verification using monadic second-order logic},
  booktitle = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 20-22, 2011,
               Odense, Denmark},
  pages     = {17--28},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2003476.2003482},
  doi       = {10.1145/2003476.2003482},
  timestamp = {Tue, 29 Dec 2020 18:41:48 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/InabaHHKN11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics