Algorithms for recognizing formulas with none-stable truth values in branching time logic : научное издание

Тип публикации: статья из журнала

Год издания: 2023

Идентификатор DOI: 10.1016/j.procs.2023.10.042

Журнал: Procedia Computer Science (см. в книгах)

Выпуск журнала: Т.225

Номера страниц: 574-580

ISSN журнала: 18770509

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.