Файл:Verif VP 22.pdf

Verif_VP_22.pdf ‎(размер файла: 173 КБ, MIME-тип: application/pdf)

Методы верификации (618, 621). Блок 22. CTL*, сравнение CTL и LTL

История файла

Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.

	Дата/время	Размеры	Участник	Примечание
текущий	12:54, 23 октября 2023	(173 КБ)	PodymovVV (обсуждение \| вклад)	опечатки
	18:37, 21 октября 2023	(174 КБ)	PodymovVV (обсуждение \| вклад)	2023-2024. теперь тут про алгоритм mc-ctl
	17:46, 13 ноября 2022	(130 КБ)	PodymovVV (обсуждение \| вклад)	Методы верификации (618, 621). Блок 22. CTL*, сравнение CTL и LTL

Следующая 1 страница ссылается на данный файл: