TY  - JOUR
AU  - M. S. Sobolev
TI  - Using X-CTL logic to implement  formal verification of X-machines
JO  - Informacionnye tehnologii i vyčislitelnye sistemy
PY  - 2010
SP  - 47
EP  - 52
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ITVS_2010_3_a5/
LA  - ru
ID  - ITVS_2010_3_a5
ER  -