TY  - JOUR
AU  - S. P. Kovalëv
TI  - A~formal approach to aspect-oriented modelling of scenarios
JO  - Sibirskij žurnal industrialʹnoj matematiki
PY  - 2010
SP  - 30
EP  - 42
VL  - 13
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SJIM_2010_13_3_a4/
LA  - ru
ID  - SJIM_2010_13_3_a4
ER  -