Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
English
G
o
o
g
l
e
|
Forvo
|
+
Исходной позицией этого перехода будет составная позиция, полученная из исходных позиций отдельных переходов
stresses
progr.
the source location of the transition will be the composite location obtained from the source locations of the individual transitions
(см.
Model Checking / Edmund M. Clarke
,
Jr.
,
Orna Grumberg
,
and Doron A. Peled
1999
)
Add
|
Report an error
|
Get short URL
|
Language Selection Tips
