the source location of the transition will be the composite location obtained from the source locations of the individual transitions – ruso traducción

Iniciar sesión | Spanish | Términos y condiciones de uso

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)

Añadir | Enviar un mensaje de error | Enlace corto a esta página | Modos de seleccionar idiomas