A logical method for the synthesis of periodic trajectory in a binary dynamical system

Gennady A. Oparin, Vera Bogdanova, Anton A. Pashinin. A logical method for the synthesis of periodic trajectory in a binary dynamical system. In Igor V. Bychkov, Andrei Tchernykh, Alexander G. Feoktistov, editors, Proceedings of the 3rd International Workshop on Information, Computation, and Control Systems for Distributed Environments, ICCS-DE 2021, Irkutsk, Russia, July 5-9, 2021. Volume 2913 of CEUR Workshop Proceedings, pages 119-128, CEUR-WS.org, 2021. [doi]

@inproceedings{OparinBP21,
  title = {A logical method for the synthesis of periodic trajectory in a binary dynamical system},
  author = {Gennady A. Oparin and Vera Bogdanova and Anton A. Pashinin},
  year = {2021},
  url = {http://ceur-ws.org/Vol-2913/paper10.pdf},
  researchr = {https://researchr.org/publication/OparinBP21},
  cites = {0},
  citedby = {0},
  pages = {119-128},
  booktitle = {Proceedings of the 3rd International Workshop on Information, Computation, and Control Systems for Distributed Environments, ICCS-DE 2021, Irkutsk, Russia, July 5-9, 2021},
  editor = {Igor V. Bychkov and Andrei Tchernykh and Alexander G. Feoktistov},
  volume = {2913},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}