BibTeX record conf/meco/PinkevichP20

download as .bib file

@inproceedings{DBLP:conf/meco/PinkevichP20,
  author       = {Vasiliy Pinkevich and
                  Alexey Platunov},
  title        = {Method for Testing and Debugging Flow Formal Specification in Full-Stack
                  Embedded Systems Designs},
  booktitle    = {9th Mediterranean Conference on Embedded Computing, {MECO} 2020, Budva,
                  Montenegro, June 8-11, 2020},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/MECO49872.2020.9134213},
  doi          = {10.1109/MECO49872.2020.9134213},
  timestamp    = {Fri, 21 Aug 2020 17:12:22 +0200},
  biburl       = {https://dblp.org/rec/conf/meco/PinkevichP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}