![]() |
Subject | Russian | English |
progr. | линейная темпоральная логика | LTL (ssn) |
progr. | линейная темпоральная логика | linear temporal logic (сокр. LTL ssn) |
progr. | темпоральная логика линейного времени | linear temporal logic (сокр. LTL ssn) |
progr. | темпоральная логика линейного времени | LTL (ssn) |