BibTeX record conf/icteri/BaklanovaBEPST15

download as .bib file

@inproceedings{DBLP:conf/icteri/BaklanovaBEPST15,
  author    = {Nadezhda Baklanova and
               Jon Ha{\"{e}}l Brenas and
               Rachid Echahed and
               Christian Percebois and
               Martin Strecker and
               Hanh Nhi Tran},
  title     = {Provably Correct Graph Transformations with Small-tALC},
  booktitle = {Proceedings of the 11th International Conference on {ICT} in Education,
               Research and Industrial Applications: Integration, Harmonization and
               Knowledge Transfer, Lviv, Ukraine, May 14-16, 2015},
  pages     = {78--93},
  year      = {2015},
  crossref  = {DBLP:conf/icteri/2015},
  url       = {http://ceur-ws.org/Vol-1356/paper\_14.pdf},
  timestamp = {Tue, 28 May 2019 16:23:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icteri/BaklanovaBEPST15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icteri/2015,
  editor    = {Sotiris Batsakis and
               Heinrich C. Mayr and
               Vitaliy Yakovyna and
               Mykola S. Nikitchenko and
               Grygoriy Zholtkevych and
               Vyacheslav Kharchenko and
               Hennadiy Kravtsov and
               Vitaliy Kobets and
               Vladimir S. Peschanenko and
               Vadim Ermolayev and
               Yuriy Bobalo and
               Aleksander Spivakovsky},
  title     = {Proceedings of the 11th International Conference on {ICT} in Education,
               Research and Industrial Applications: Integration, Harmonization and
               Knowledge Transfer, Lviv, Ukraine, May 14-16, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1356},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1356},
  urn       = {urn:nbn:de:0074-1356-8},
  timestamp = {Tue, 28 May 2019 16:23:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icteri/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics