BibTeX record conf/ukrprog/KolchinLP14

• > Home > conf/ukrprog/KolchinLP14

@inproceedings{DBLP:conf/ukrprog/KolchinLP14,
  author       = {Alexander Kolchin and
                  Aleksandr A. Letichevsky and
                  Stepan Potiyenko},
  editor       = {Ivan Sergienko and
                  Philip Andon},
  title        = {{\cyrchar\CYRM}{\cyrchar\cyre}{\cyrchar\cyrt}{\cyrchar\cyro}{\cyrchar\cyrd}
                  {\cyrchar\cyrs}{\cyrchar\cyrt}{\cyrchar\cyra}{\cyrchar\cyrt}{\cyrchar\cyri}{\cyrchar\cyrch}{\cyrchar\cyre}{\cyrchar\cyrs}{\cyrchar\cyrk}{\cyrchar\cyro}{\cyrchar\cyrishrt}
                  {\cyrchar\cyrp}{\cyrchar\cyrr}{\cyrchar\cyro}{\cyrchar\cyrv}{\cyrchar\cyre}{\cyrchar\cyrr}{\cyrchar\cyrk}{\cyrchar\cyri}
                  {\cyrchar\cyrp}{\cyrchar\cyro}{\cyrchar\cyrl}{\cyrchar\cyrn}{\cyrchar\cyro}{\cyrchar\cyrt}{\cyrchar\cyrery}
                  {\cyrchar\cyri} {\cyrchar\cyrn}{\cyrchar\cyre}{\cyrchar\cyrp}{\cyrchar\cyrr}{\cyrchar\cyro}{\cyrchar\cyrt}{\cyrchar\cyri}{\cyrchar\cyrv}{\cyrchar\cyro}{\cyrchar\cyrr}{\cyrchar\cyre}{\cyrchar\cyrch}{\cyrchar\cyri}{\cyrchar\cyrv}{\cyrchar\cyro}{\cyrchar\cyrs}{\cyrchar\cyrt}{\cyrchar\cyri}
                  {\cyrchar\cyrv} {\cyrchar\cyrf}{\cyrchar\cyro}{\cyrchar\cyrr}{\cyrchar\cyrm}{\cyrchar\cyra}{\cyrchar\cyrl}{\cyrchar\cyrsftsn}{\cyrchar\cyrn}{\cyrchar\cyrery}{\cyrchar\cyrh}
                  {\cyrchar\cyrm}{\cyrchar\cyro}{\cyrchar\cyrd}{\cyrchar\cyre}{\cyrchar\cyrl}{\cyrchar\cyrya}{\cyrchar\cyrh}
                  {\cyrchar\cyrr}{\cyrchar\cyra}{\cyrchar\cyrs}{\cyrchar\cyrp}{\cyrchar\cyrr}{\cyrchar\cyre}{\cyrchar\cyrd}{\cyrchar\cyre}{\cyrchar\cyrl}{\cyrchar\cyre}{\cyrchar\cyrn}{\cyrchar\cyrn}{\cyrchar\cyrery}{\cyrchar\cyrh}
                  {\cyrchar\cyrp}{\cyrchar\cyrr}{\cyrchar\cyro}{\cyrchar\cyrg}{\cyrchar\cyrr}{\cyrchar\cyra}{\cyrchar\cyrm}{\cyrchar\cyrm}{\cyrchar\cyrn}{\cyrchar\cyrery}{\cyrchar\cyrh}
                  {\cyrchar\cyrs}{\cyrchar\cyri}{\cyrchar\cyrs}{\cyrchar\cyrt}{\cyrchar\cyre}{\cyrchar\cyrm}
                  (Static method of consistency and completeness checking in formal
                  model of distributed software systems)},
  booktitle    = {Proceedings of the 9th International Conference of Programming, Kyiv,
                  Ukraine, May 20-22, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1843},
  pages        = {146--150},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1843/146-150.pdf},
  timestamp    = {Fri, 11 Oct 2024 13:17:02 +0200},
  biburl       = {https://dblp.org/rec/conf/ukrprog/KolchinLP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}