BibTeX record conf/acri/KutribW18

• > Home > conf/acri/KutribW18

@inproceedings{DBLP:conf/acri/KutribW18,
  author       = {Martin Kutrib and
                  Thomas Worsch},
  editor       = {Giancarlo Mauri and
                  Samira El Yacoubi and
                  Alberto Dennunzio and
                  Katsuhiro Nishinari and
                  Luca Manzoni},
  title        = {Self-verifying Cellular Automata},
  booktitle    = {Cellular Automata - 13th International Conference on Cellular Automata
                  for Research and Industry, {ACRI} 2018, Como, Italy, September 17-21,
                  2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11115},
  pages        = {340--351},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99813-8\_31},
  doi          = {10.1007/978-3-319-99813-8\_31},
  timestamp    = {Sun, 25 Oct 2020 22:42:21 +0100},
  biburl       = {https://dblp.org/rec/conf/acri/KutribW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}