Linear temporal logic

Из Википедии, свободной энциклопедии