BibTeX record conf/icteri/Panchenko16

download as .bib file

@inproceedings{DBLP:conf/icteri/Panchenko16,
  author       = {Taras Panchenko},
  editor       = {Vadim Ermolayev and
                  Aleksander Spivakovsky and
                  Mykola S. Nikitchenko and
                  Athula Ginige and
                  Heinrich C. Mayr and
                  Dimitris Plexousakis and
                  Grygoriy Zholtkevych and
                  Oleksandr Burov and
                  Vyacheslav S. Kharchenko and
                  Vitaliy Kobets},
  title        = {Application of the Method for Concurrent Programs Properties Proof
                  to Real-World Industrial Software Systems},
  booktitle    = {Proceedings of the 12th International Conference on {ICT} in Education,
                  Research and Industrial Applications. Integration, Harmonization and
                  Knowledge Transfer, Kyiv, Ukraine, June 21-24, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1614},
  pages        = {119--128},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1614/paper\_75.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:15 +0100},
  biburl       = {https://dblp.org/rec/conf/icteri/Panchenko16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics