составная позиция, полученная из исходных позиций отдельных переходов

Terms containing составная позиция, полученная из исходных позиций отдельных переходов | all forms | in specified order only

Subject	Russian	English
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)
progr.	составная позиция, полученная из исходных позиций отдельных переходов	composite location obtained from the source locations of the individual transitions (ssn)