BibTeX record conf/depcos/FrolovV14

• > Home > conf/depcos/FrolovV14

@inproceedings{DBLP:conf/depcos/FrolovV14,
  author       = {Alexander Frolov and
                  Alexander Vinnikov},
  editor       = {Wojciech Zamojski and
                  Jacek Mazurkiewicz and
                  Jaroslaw Sugier and
                  Tomasz Walkowiak and
                  Janusz Kacprzyk},
  title        = {{FSM} Simulation of Cryptographic Protocols Using Algebraic Processor},
  booktitle    = {Proceedings of the Ninth International Conference on Dependability
                  and Complex Systems DepCoS-RELCOMEX. June 30 - July 4, 2014, Brun{\'{o}}w,
                  Poland},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {286},
  pages        = {189--198},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07013-1\_18},
  doi          = {10.1007/978-3-319-07013-1\_18},
  timestamp    = {Sat, 30 Sep 2023 09:38:49 +0200},
  biburl       = {https://dblp.org/rec/conf/depcos/FrolovV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}