Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта (Александр Козачок, ISPRASOPEN-2018) — различия между версиями

…640px]]
{{LinksSection}}
<!-- * [ Talks page on site] -->
<!-- <blockquote>[©]</blockquote> -->

<references/>





<!-- topub -->

[[Категория:ISPRASOPEN-2018]]
[[Категория:Draft]]Верификация]]