BibTeX record conf/acri/UmeoSN00

download as .bib file

@inproceedings{DBLP:conf/acri/UmeoSN00,
  author       = {Hiroshi Umeo and
                  Takashi Sogabe and
                  Yukihiro Nomura},
  editor       = {Stefania Bandini and
                  Thomas Worsch},
  title        = {Correction, Optimization and Verification of Transition Rule Set for
                  Waksman's Firing Squad Synchronization Algorithm},
  booktitle    = {Theoretical and Practical Issues on Cellular Automata, Proceedings
                  of the Fourth International Conference on Cellular Automata for Research
                  and Industry, Karlsruhe, 4-6 October 2000},
  pages        = {152--160},
  publisher    = {Springer},
  year         = {2000},
  timestamp    = {Wed, 12 Feb 2003 14:59:57 +0100},
  biburl       = {https://dblp.org/rec/conf/acri/UmeoSN00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics