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

Поттосин Ю.В., Романов В.И., Черемисинова Л.Д. Верификация систем с параллелизмом поведения на основе графа достижимых состояний. Информатика. 2019;16(2):62-72.

For citation:

Pottosin Yu.V., Romanov V.I., Cheremisinova L.D. Verification of systems with behavior parallelism on the basis of the graph of reachable states. Informatics. 2019;16(2):62-72. (In Russ.)