Deriving Synchronizing and Homing Sequences for Input/Output Automata

Natalia G. Kushik, Nina V. Yevtushenko, Igor B. Burdonov, Alexander S. Kossatchev

Open source

DOI
10.18255/1818-1015-2017-6-730-742
Published
2017-01-01
Container
Modeling and Analysis of Information Systems
Publisher
P.G. Demidov Yaroslavl State University
Open access
unknown

Credibility signals

uncertain Score 64/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

Cite this work

BibTeX

@article{allodium:10.18255/1818-1015-2017-6-730-742,
  title = {Deriving Synchronizing and Homing Sequences for Input/Output Automata},
  author = {Natalia G. Kushik and Nina V. Yevtushenko and Igor B. Burdonov and Alexander S. Kossatchev},
  year = {2017},
  journal = {Modeling and Analysis of Information Systems},
  doi = {10.18255/1818-1015-2017-6-730-742},
  url = {https://doi.org/10.18255/1818-1015-2017-6-730-742}
}

RIS

TY  - JOUR
TI  - Deriving Synchronizing and Homing Sequences for Input/Output Automata
AU  - Natalia G. Kushik
AU  - Nina V. Yevtushenko
AU  - Igor B. Burdonov
AU  - Alexander S. Kossatchev
PY  - 2017
JO  - Modeling and Analysis of Information Systems
DO  - 10.18255/1818-1015-2017-6-730-742
UR  - https://doi.org/10.18255/1818-1015-2017-6-730-742
ER  - 

APA

Kushik, N. G., Yevtushenko, N. V., Burdonov, I. B., & Kossatchev, A. S. (2017). Deriving Synchronizing and Homing Sequences for Input/Output Automata. Modeling and Analysis of Information Systems. https://doi.org/10.18255/1818-1015-2017-6-730-742

Source records