Alexander Alexandrovich Stenenko Russian Federation, Novosibirsk Research area program verification programming languages Affiliation & position A.P. Ershov Institute of Informatics Systems — postgraduate E-mail stirpar@mail.ru
Vizovitin N., Nepomniaschy V., Stenenko A. Verification of UCM Models with Scenario Control Structures Using Coloured Petri Nets // System Informatics. — 2016. — # 7. — P. 11-22
