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