BibTeX record conf/icteri/BaklanovaRSS15

download as .bib file

@inproceedings{DBLP:conf/icteri/BaklanovaRSS15,
  author    = {Nadezhda Baklanova and
               Wilmer Ricciotti and
               Jan{-}Georg Smaus and
               Martin Strecker},
  title     = {Abstracting an Operational Semantics to Finite Automata},
  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     = {354--365},
  year      = {2015},
  crossref  = {DBLP:conf/icteri/2015},
  url       = {http://ceur-ws.org/Vol-1356/paper\_76.pdf},
  timestamp = {Tue, 28 May 2019 16:23:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icteri/BaklanovaRSS15},
  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