APA (7th ed.) Citation

Pottosin, Y. V., Romanov, V. I., & Cheremisinova, L. D. Verification of systems with behavior parallelism on the basis of the graph of reachable states. National Academy of Sciences of Belarus, the United Institute of Informatics Problems.

Chicago Style (17th ed.) Citation

Pottosin, Yu. V., V. I. Romanov, and L. D. Cheremisinova. Verification of Systems with Behavior Parallelism on the Basis of the Graph of Reachable States. National Academy of Sciences of Belarus, the United Institute of Informatics Problems.

MLA (9th ed.) Citation

Pottosin, Yu. V., et al. Verification of Systems with Behavior Parallelism on the Basis of the Graph of Reachable States. National Academy of Sciences of Belarus, the United Institute of Informatics Problems.