%0 Journal Article
%T Formal methods for analysis of discrete systems using a specification language
%A Kryvyi, S.
%A Chugayenko, A.
%J Cybernetics and Systems Analysis
%V 45
%N 4
%P 528-543
%@ 1060-0396
%D 2009-07-31
%I Springer US
%~ DeepDyve