BibTeX record conf/lopstr/HidakaHIKMNS11

download as .bib file

@inproceedings{DBLP:conf/lopstr/HidakaHIKMNS11,
  author    = {Soichiro Hidaka and
               Zhenjiang Hu and
               Kazuhiro Inaba and
               Hiroyuki Kato and
               Kazutaka Matsuda and
               Keisuke Nakano and
               Isao Sasano},
  title     = {Marker-Directed Optimization of UnCAL Graph Transformations},
  booktitle = {Logic-Based Program Synthesis and Transformation - 21st International
               Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised
               Selected Papers},
  pages     = {123--138},
  year      = {2011},
  crossref  = {DBLP:conf/lopstr/2011},
  url       = {https://doi.org/10.1007/978-3-642-32211-2\_9},
  doi       = {10.1007/978-3-642-32211-2\_9},
  timestamp = {Tue, 29 Dec 2020 18:29:19 +0100},
  biburl    = {https://dblp.org/rec/conf/lopstr/HidakaHIKMNS11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2011,
  editor    = {Germ{\'{a}}n Vidal},
  title     = {Logic-Based Program Synthesis and Transformation - 21st International
               Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7225},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32211-2},
  doi       = {10.1007/978-3-642-32211-2},
  isbn      = {978-3-642-32210-5},
  timestamp = {Wed, 01 Dec 2021 23:31:58 +0100},
  biburl    = {https://dblp.org/rec/conf/lopstr/2011.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics