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},
  title     = {Graph-transformation verification using monadic second-order logic},
  booktitle = {{PPDP}},
  pages     = {17--28},
  publisher = {{ACM}},
  year      = {2011}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics