DictionaryForumContacts

   English Russian
Google | Forvo | +
we assume that time passes at the same rate for all clocksstresses
progr. мы предполагаем, что темп времени одинаков для всех часов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)