BibTeX record conf/ppam/AntonovNSSSVVZ15

• > Home > conf/ppam/AntonovNSSSVVZ15

@inproceedings{DBLP:conf/ppam/AntonovNSSSVVZ15,
  author       = {Alexander S. Antonov and
                  Dmitry A. Nikitenko and
                  Pavel A. Shvets and
                  Sergey I. Sobolev and
                  Konstantin S. Stefanov and
                  Vadim V. Voevodin and
                  Vladimir V. Voevodin and
                  Sergey A. Zhumatiy},
  editor       = {Roman Wyrzykowski and
                  Ewa Deelman and
                  Jack J. Dongarra and
                  Konrad Karczewski and
                  Jacek Kitowski and
                  Kazimierz Wiatr},
  title        = {An Approach for Ensuring Reliable Functioning of a Supercomputer Based
                  on a Formal Model},
  booktitle    = {Parallel Processing and Applied Mathematics - 11th International Conference,
                  {PPAM} 2015, Krakow, Poland, September 6-9, 2015. Revised Selected
                  Papers, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9573},
  pages        = {12--22},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-32149-3\_2},
  doi          = {10.1007/978-3-319-32149-3\_2},
  timestamp    = {Wed, 18 May 2022 14:53:13 +0200},
  biburl       = {https://dblp.org/rec/conf/ppam/AntonovNSSSVVZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}