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