Pashchenko DV, Trokoz DA, Martyshkin AI, Pashchenko TY, Butaev MM, Babich MY. Research of a multithreaded non-deterministic system model. Nexo Scientific Journal [Internet]. 2021 Apr. 13 [cited 2024 Jul. 18];34(01):193-204. Available from: https://camjol.info/index.php/NEXO/article/view/11297