Полный текст публикации: Моделирование вычисления истинности утверждений в вычислительных сетях и потоках на основе временной модальной логики : доклад, тезисы доклада

Телефон: +7 (391) 291-28-63
E-mail: sppa [at] sfu-kras [dot] ru

Служба поддержки публикационной активности СФУ

Целью службы является создание условий для увеличения количества и повышения качества публикаций научно-педагогических работников СФУ.

Полный текст не загружен, но возможно он доступен по одной из следующих ссылок: