cvb.authors: Alexander Kolchin,Aleksandr Letichevsky,Stepan Potiyenko
cvb.fail: null
cvb.id: Vol-1843/146-150
cvb.pages: 146-150
cvb.pagesFrom: null
cvb.pagesTo: null
cvb.pdf_name: 146-150.pdf
cvb.position: null
cvb.title: "\u041C\u0435\u0442\u043E\u0434 \u0441\u0442\u0430\u0442\u0438\u0447\u0435\
  \u0441\u043A\u043E\u0439 \u043F\u0440\u043E\u0432\u0435\u0440\u043A\u0438 \u043F\
  \u043E\u043B\u043D\u043E\u0442\u044B \u0438 \u043D\u0435\u043F\u0440\u043E\u0442\
  \u0438\u0432\u043E\u0440\u0435\u0447\u0438\u0432\u043E\u0441\u0442\u0438 \u0432\
  \ \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u044B\u0445 \u043C\u043E\u0434\
  \u0435\u043B\u044F\u0445 \u0440\u0430\u0441\u043F\u0440\u0435\u0434\u0435\u043B\u0435\
  \u043D\u043D\u044B\u0445 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u043D\u044B\
  \u0445 \u0441\u0438\u0441\u0442\u0435\u043C\n(Static method of consistency and completeness\
  \ checking in formal model of distributed software systems)"
cvb.type: null
cvb.vol_number: '1843'
dblp.authors:
- dblp_author_id: https://dblp.org/pid/138/1098
  gnd_id: null
  label: Stepan Potiyenko
  orcid_id: 0000-0001-9462-599X
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/66/4274
  gnd_id: null
  label: Alexander A. Letichevsky
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/137/9620
  gnd_id: null
  label: Alexander Kolchin
  orcid_id: null
  wikidata_id: null
dblp.dblp_proceeding_id: https://dblp.org/rec/conf/ukrprog/2014
dblp.dblp_publication_id: https://dblp.org/rec/conf/ukrprog/KolchinLP14
dblp.pdf_id: Vol-1843/146-150
dblp.title: "\u041C\u0435\u0442\u043E\u0434 \u0441\u0442\u0430\u0442\u0438\u0447\u0435\
  \u0441\u043A\u043E\u0439 \u043F\u0440\u043E\u0432\u0435\u0440\u043A\u0438 \u043F\
  \u043E\u043B\u043D\u043E\u0442\u044B \u0438 \u043D\u0435\u043F\u0440\u043E\u0442\
  \u0438\u0432\u043E\u0440\u0435\u0447\u0438\u0432\u043E\u0441\u0442\u0438 \u0432\
  \ \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u044B\u0445 \u043C\u043E\u0434\
  \u0435\u043B\u044F\u0445 \u0440\u0430\u0441\u043F\u0440\u0435\u0434\u0435\u043B\u0435\
  \u043D\u043D\u044B\u0445 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u043D\u044B\
  \u0445 \u0441\u0438\u0441\u0442\u0435\u043C (Static method of consistency and completeness\
  \ checking in formal model of distributed software systems)."
dblp.volume_number: 1843
spt.description: null
spt.html_url: /Vol-1843/146-150.html
spt.id: Vol-1843/146-150
spt.pdfUrl: !!python/object/new:linkml_runtime.utils.metamodelcore.URI
  args:
  - https://ceur-ws.org/Vol-1843/146-150.pdf
  state:
    _len: null
    _s: null
spt.session: null
spt.title: "\u041C\u0435\u0442\u043E\u0434 \u0441\u0442\u0430\u0442\u0438\u0447\u0435\
  \u0441\u043A\u043E\u0439 \u043F\u0440\u043E\u0432\u0435\u0440\u043A\u0438 \u043F\
  \u043E\u043B\u043D\u043E\u0442\u044B \u0438 \u043D\u0435\u043F\u0440\u043E\u0442\
  \u0438\u0432\u043E\u0440\u0435\u0447\u0438\u0432\u043E\u0441\u0442\u0438 \u0432\
  \ \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u044B\u0445 \u043C\u043E\u0434\
  \u0435\u043B\u044F\u0445 \u0440\u0430\u0441\u043F\u0440\u0435\u0434\u0435\u043B\u0435\
  \u043D\u043D\u044B\u0445 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u043D\u044B\
  \u0445 \u0441\u0438\u0441\u0442\u0435\u043C\n(Static method of consistency and completeness\
  \ checking in formal model of distributed software systems)"
spt.volume:
  acronym: UkrPROG 2014
  date: '2017-05-29'
  dblp: conf/ukrprog/2014
  description: Proceedings of UkrPROG 2014 workshop
  k10plus: '890795738'
  number: 1843
  title: Proceedings of the 9th International Conference of Programming
  url: http://ceur-ws.org/Vol-1843/
  urn: urn:nbn:de:0074-1843-0
  wikidataid: Q113544055
spt.wikidataid: null
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.1.1
