Nesterenko BB, Novatorskyi MO. FORMAL TOOLS FOR SIMULATION OF COMPLEX DISCRETE SYSTEMS. STP [Internet]. 2007Aug.25 [cited 2024May20];(17):156-61. Available from: https://stp.ust.edu.ua/article/view/17608