the source location of the transition will be the composite location obtained from the source locations of the individual transitions – 俄语翻译

登录 | Chinese | 使用条款

Google | Forvo | +

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)

增加 | 报告错误 | 获取短网址 | 语言选择诀窍