Для цитирования:

ШАРКОВ И.В. Метод восстановления протокольных автоматов по бинарному коду. Труды Института системного программирования РАН. 2022;34(5):43-62. https://doi.org/10.15514/ISPRAS-2022-34(5)-3

For citation:

SHARKOV I.V. Protocol automata recovery method using binary code. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2022;34(5):43-62. (In Russ.) https://doi.org/10.15514/ISPRAS-2022-34(5)-3