English ⇄ Russian

Moreover, no assumptions need to be made about the speed of the environment when this model of time is assumed stresses
progr.	Более того, когда принимается такая модель времени, не нужно делать никаких предположений о быстродействии окружения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)