BibTeX record conf/icteri/ChornomazRT16

download as .bib file

@inproceedings{DBLP:conf/icteri/ChornomazRT16,
  author    = {Bogdan Chornomaz and
               Kirill Rukkas and
               Kseniia Troino},
  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     = {A Complete Axiomatization for Reduced Clock Constraint Specification
               Language},
  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     = {13--24},
  publisher = {CEUR-WS.org},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1614/paper\_61.pdf},
  timestamp = {Wed, 12 Feb 2020 16:45:13 +0100},
  biburl    = {https://dblp.org/rec/conf/icteri/ChornomazRT16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics